Fixed generation of constraint system in the case of "full-context".