Jump table detection
Function arg and return counting