basic tests for terms inference