After the last change in the file CfToHandshake, it is impossible to declare external functions. During the application of applyFullConversion, the pattern ConvertCalls is executed on the calls of external functions before transforming the external functions into handshake functions in the LowerFuncToHandshake pattern. During the ConvertCalls, there is a check to ensure that the call refers to a handshake function. This check fails. There are 2 possible solutions to this problem:
The check is skipped in the ConvertCalls pattern
The LowerFuncToHandshake pattern is executed with a partial conversion before executing all the other patterns
After the last change in the file CfToHandshake, it is impossible to declare external functions. During the application of applyFullConversion, the pattern ConvertCalls is executed on the calls of external functions before transforming the external functions into handshake functions in the LowerFuncToHandshake pattern. During the ConvertCalls, there is a check to ensure that the call refers to a handshake function. This check fails. There are 2 possible solutions to this problem: