Branching tactics for ReasonableEffort