Parse empty contexts and equality constraints.