for.c: (in function f)
for.c:13:5: Possible out-of-bounds store.  Unable to resolve constraint:
    requires: : (i @ for.c:13:7 )   <=  ( 10 ) 
     needed to satisfy precondition:
    requires: : maxSet ((t @ for.c:13:5 ) )  >=  (i @ for.c:13:7 ) 

Finished LCLint checking --- 1 code error found