Added flag for importing library sources in Eclipse
Handle empty relations by disallowing empty tuples
replaceVar (in Constraint and Expression) can now replace any expression (to replace e.g. constants by variables)