Code uncompilable. See RelaxedPlan.cpp