added IfExpression and enabled it for the visitors added toString to Bounds and BoundPair for debugging made Relation constructor private
added IfExpression and enabled it for the visitors
added toString to Bounds and BoundPair for debugging
made Relation constructor private

drayside/kodkod,drayside/kodkod,drayside/kodkod,drayside/kodkod,drayside/kodkod