Have to set INSTALL_SKIP=true when we encounter an error in promiser statement, else segv
Merge pull request #520 from basvandervlies/promiser_constraint_check

Have to set INSTALL_SKIP=true when we encounter an error in promiser statement