changed Context#listConses to Map<Sort2, Production>