Sanity check of argument
Steps to start addressing #177
Fixes #185
Detect constant terms constrained to be sos
Fixes #186
Fixes #187. Variable name reused accidentally
Fixes #188