[This is preliminary documentation and is subject to change.]
public Branch Branch( Value ifCondition, BasicBlock thenTarget, BasicBlock elseTarget )