最適ではない HCL2 式を報告し、単純化することを提案します。 たとえば、element(list, index) を list[index] に変更します (提案される単純化を行うとセマンティクスが変更される可能性があるため注意が必要です)。