Used to determine if a RETURN should be automatically appended to the end of a void method. Return and Throw are both terminating. Multi-branched instructions, such as "If" are terminating if all branches are terminating.