unguarded-division|HIGH|UnguardedDivision.daml|4|1|Unguarded division by 'y' — no prior > 0 check found in function 'unsafeDivide'.|x / y
