Tested and improved the mark_as_constraint() function and its usage in the SSBJ script to enable double bounds.


Former-commit-id: cbb7b7e1ee48a5cd0f1739dd6f20bf1dd9ba1b63