added resolve-support for modified constraint-rhs
added example to test new functions git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@170 1355f012-dd97-4b2f-ae87-10fa9f823a57
added example to test new functions git-svn-id: http://www.openflipper.org/svnrepo/CoMISo/trunk@170 1355f012-dd97-4b2f-ae87-10fa9f823a57