def test_init(self):
    t1 = formula.Term('trivial')
    sqr = (lambda x: (x * x))
    t2 = formula.Term('not_so_trivial', sqr, 'sqr')
    assert_raises(ValueError, formula.Term, 'name', termname=0)
def test_init(self):
    t1 = formula.Term('trivial')
    sqr = (lambda x: (x * x))
    t2 = formula.Term('not_so_trivial', sqr, 'sqr')
    assert_raises(ValueError, formula.Term, 'name', termname=0)