Will the static checker ever be able to prove String based asserts (involving trim, contains, ...) ?

hi,
static checker ever able check asserts these ?

imports system.diagnostics.contracts    public class class1      sub test()          dim str string          str = "log.log"          contract.assert(str.contains("."))          contract.assert(str.length > 4)          contract.assert(str.trim.length > 4)      end sub  end class  

generates following warnings:
class1.vb(7,9): warning : contracts: assert unproven
class1.vb(9,9): warning : contracts: assert unproven

hi alexander,
  hope ;-) 1 of things want work in next months/year.

ciao,
f

DevLabs  >  Code Contracts