Immutability check
Mutability tests
Extra predicates