debugging/tuning rel2
revising the treatment of delayed constraints in rel2