Handle initial constraints

In romeo, the initial constraints are defined as follows:

   <misc>
      <constraint left="a " op="GreaterOrEqual" right=" 0"/>
      <constraint left="a " op="LowerOrEqual" right=" 4"/>
   </misc>