fixed Choco for `not in` and updated regression EDM_Intro
updated Alloy regressions for Alloy4.2