CIF to mCRL2: simplify the generated range guards

The CIF to mCRL2 transformation generates guards to ensure integer variables remain within their range. These range guards often have parts that are trivially true, and can thus be omitted. We should simplify them, to get rid of the clutter, similar to how we do this already for the condition of the marked action.