Reification for programs (modulo a few instantiations).