Make evaluateBranch rule existentially aware.