* is, generates start and end blocks and nodes and a first, initial block.
* The constructor needs to know the number of local variables (including
* the arguments) in the method.
* is, generates start and end blocks and nodes and a first, initial block.
* The constructor needs to know the number of local variables (including
* the arguments) in the method.