1. A method performed by a computer processor, said method comprising: compiling source code into executable code; during said compiling, identifying a first transmission point, said first transmission point being a message passed to another process; for said first transmission point, identifying a first pattern defining a first output for said first transmission point; creating a first extractable annotation defining said first pattern; and storing said first extractable annotation.