That must be a mistake: Transition systems are not minimized over a set of variables unless you would like to restrict the known variables to subset of them, but that would simply define another state transition system. If a state transition system has states labeled with a variable "c", then this state transition system obviously knows that variable "c", so that it is defined over a set of variable including "c".
