Correctly sets bounds for SintRef.equals Relation
Correctly sets bounds for SintExprX.map Relation