If you want, you can put "assert subject.isGround()"; the "assert !subject.isSymbolic()" should be true not only for the main term, but also for every subterm. However, I don't think the assertion is necessary here.