Implement rough forward branching