解決してよかったですね。
自分もAtermを使っているので参考になる時があるかもしれません。