I just realized this is useless, since in different variables can have different number of states. I'll delete it now.