Fix detection of constant constraints for NEOS CBC. Tests 5 and 9A now pass

Fixes #4 and fixes #5