use bounded and real assumptions when creating symbols