add subst instruction to compiler