added permanent start states and node expansion counter