created Control Flow Tracer utility method