[This is preliminary documentation and is subject to change.]
public void AddCase( Value onVal, BasicBlock destination )