Completed instrumentation to detect and flag functions called with different types during execution.