Better description of changes to compilation of multifile predicate clauses