attach choice constraints directly to symbolic variable

instead of pointing choice to another var