ELM Function Invocations by default do not specify invocation signature or overload signature, making it a runtime determination to resolve overloads. This places additional implementation requirements on ELM engines, and introduces the potential for errors when the engine doesn't select the correct overload. To avoid this, translation should include signature information in ELM function invocation. There is a translator option, SignatureLevel that controls whether this information is included. Consider adding a requirement that this option be set to something higher than None.