Refactoring for better organisation of argument identification and predicate finding
Refactoring for better naming.