begin to construct a control flow graph from the instructions
implement dissect_function