- Bug with the exist constraint extraction corrected