Make FictionalIR abstract

There is no need to instantiate this class directly.

See #3.
Add DontCareInstruction

Needed for simple boolean/arithmetic instructions that do not manipulate
the heap.

See #3.
Recreate Figure 5 from the paper

Constructed the CFG for the linked list program using our FictionalIR.

See #3.