Fixed some logic in checking the forward effect state nodes of forwardRuleNode when the current state is proved impossible to be achieved