Add quick fix for IntegerInstantiation