Fix bug in tc.compile.goal.decompile-problematic-term

[Tragicus]

The previous version may leave some tc.maybe-eta-tm in the terms, which the compiler from elpi terms to rocq terms does not like at all.