Fix incorrect url in test file
Fix test naming
Fix error when non-input symbolic values are used in the constraints