Add constraints to ensure that only one of the created integer and string comparison variables is selected