let occurs x b = subterm x b