Minor change in order of analyzers
Optimized used_predicates/3