I think the bigger problem for me is the rice's theorem/halting problem as it pertains to containment and aspects of instrumental convergence.