Add SequentialDfsChecker::force_branch(const Internal<bool>&)