Represent Booleans as mode Bu internally
Create FIRM graphs for Minus and handle extended Int literals