Predicate ControlledString::controlledString

Strings that are known to not include any special characters, due to being fully controlled by the programmer.

predicate controlledString(Expr expr)