Fix sugeno tests and terms