Compiling non-realizable control problems yields a "null" controller.
If I build ||ControlledPlant = (C || Plant), where C is the result of a control problem that is not realizable can result in an exception as “C” turns out to be a null compact state object. This is certainly the case for “heuristic”