preparations for state space generation