You are correct, it is undecidable by Richardson's theorem [1].
[1] https://en.wikipedia.org/wiki/Richardson%27s_theorem
that result does not apply for EML: EML doesn't have the | . | absolute value function, a prerequisite for Richardson's theorem.
alt Hacker News
that result does not apply for EML: EML doesn't have the | . | absolute value function, a prerequisite for Richardson's theorem.