Add instruction objects
use inheritance in Decl
add iloc tests
make blocks use strings for labels
add function name to CFG; add toInstructions methods
complete iloc generation