Implement graph for local variables and parameters
Merge pull request #153 from soc/topic/local-var-and-params

Implement graph for local variables and parameters
Represent Booleans as mode Bu internally
Create FIRM graphs for Minus and handle extended Int literals