rm undocument/non-working* "feature"

*test of unsigned for negative
attempt to improve CVC4's "parse error" message