start clean up of constraints posting. single forbidden interval works (not for step = 2 !?)
step
ok, stop here. wait for some input from jacop people on how to best implement forbidden-interval-pair