contracts: change the contract syntax
[nit.git] / tests / sav / nitj / base_gen_variance2_alt1.res
1 3
2 2
3 !3
4 !2
5 !100