new tests for terms inference