Change the implementation of dominates(inst, inst) to one based on what the