missing-ensure-decimal|HIGH|MissingEnsureDecimal.daml|3|1|Template 'T' has Decimal field 'count' with no positivity bound (e.g. `count > 0`) in its ensure clause.|count : Decimal  -- ensure clause does not bound this field
