initial state for all branches