Rewrite the reference count framework using smart pointers. Made every class that needs reference counting a subclass of RefCountObject. Added Environment. Move every alloca instruction to DataFlowGraph. Need to add nextState() support for CALL and RETURN node.