I think it's possible to do TCO in StaticOptimizer and does not need the `tailstrict`. https://github.com/databricks/sjsonnet/pull/619 Eg: ``` local sum = function(n, acc=0) if n == 0 then acc else sum(n - 1, acc + n); sum(100000) ``` should work without `tailstrict`