Problem

An Problem is introduced by the Problem keyword followed the name of the problem followed by a list of Lexprs which are the constraints of the problem.