Add location also to predicate resolving