Fixes and breaks
Fix bug in cegis, upgrade to 2.11.4