(C5027) Predefined Statemate functions that are used incorrectly Error In: Correctness Description: Predefined Rational Statemate functions are used with parameters of a wrong type, the wrong number of parameters, or the wrong return type. Erroneous Elements: Functions