**** UNSAFE ********************************************************************
fizzbuzz.hs:31:27: Error: Liquid Type Mismatch
Inferred type
VV : Int | VV == i
not a subtype of Required type
VV : Int | VV mod 3 /= 0 && VV mod 5 /= 0
In Context
VV : Int | VV == i
i : Int
fizzbuzz.hs:32:27: Error: Liquid Type Mismatch
Inferred type
VV : Int | VV == i
not a subtype of Required type
VV : Int | VV mod 3 /= 0 && VV mod 5 /= 0
In Context
VV : Int | VV == i
i : Int
fizzbuzz.hs:33:26: Error: Liquid Type Mismatch
Inferred type
VV : Int | VV == i
not a subtype of Required type
VV : Int | VV mod 3 /= 0 && VV mod 5 /= 0
In Context
VV : Int | VV == i
i : Int