Implement checkEssentialInBranch by splitting