substitute SMT-LIB variables those names are equal to builtin commands
Detected in build:
Published in build:
Names for variables in HDL designs may be equal to builtin commands of SMT-LIB language (like "select").
When passing constraints to solver, such variables should change their names.