[fix #163]: Constraint#isSatisfied() handles stateless propagators

+ add missing instructions in FZN parser related to #161
Merge branch 'feature-prenfix' into develop