Debug linear formulation