Bug fix on conditional preconditions after handling constant facts.