add resolution of predicate aliases