Branching with Uncertain Semantics