Execute subst rules when learning into hole