Distinct instances from IR