method predicates, method signature normalisation (based on byte code)