Type Alias LocConstraint 

type LocConstraint = (IntegerExpression<Location>, ComparisonOp, IntegerExpression<Location>);

Alias for unconverted constraints over locations simplifying the definitions in the remainder of the file

This type corresponds to an expression of the form BooleanExpression<Location>::ComparisonExpression(Box:.new(0), 1, Box::new(2))