Select string constraint resolved over number expressions constraints (create default logical expression at the end of execution: e.g. if there is multiple select add the end: value == "value1" || value == "value2"...), when resolving string expression replace string literals with numbers (since i only expect equalities) solve it, and then again replace