Predicate negation, refactorings and documentation