Solved some elaboration issues with instances with multiple predicates