https://z3prover.github.io/api/html/_func_decl_8cs_source.html
Z3: src/api/dotnet/FuncDecl.cs Source File
cs sourcesrcapidotnetfile
https://se.mathworks.com/help/bugfinder/ref/isoiects17961funcdecl.html
ISO/IEC TS 17961 [funcdecl] - Declaring the same function or object in incompatible ways - MATLAB
This checker is deactivated in a default Polyspace as You Code analysis.