adding new pdr version to consider initial state