vari fix
fix linearyInequality
Merge branch 'domainSum' of https://github.com/jandom-devel/Jandom into domainSum