VM^2: fixed branching