Fix failing tests due to Term misusing parentheses