reduce automatic_inverse_of caching logic
refute the predicate for better failure messages