added initial state support in booleannet parser