bug in integer comparison translation

[m-carrasco]

Hi

The following snippet shows a wrong behavior in advance-pta and cci-version

class Test{

        int i;
        public void Test()
        {
            Contract.Assume(i != 0);
        }
}

           $r0 = this;   //Backend.ThreeAddressCode.Instructions.LoadInstruction 
           $r1 = $r0.i;   //Backend.ThreeAddressCode.Instructions.LoadInstruction 
           $r2 = 0;   //Backend.ThreeAddressCode.Instructions.LoadInstruction 
           $r3 = $r1 > $r2;   //Backend.ThreeAddressCode.Instructions.BinaryInstruction 
           System.Diagnostics.Contracts.Contract::Assume($r3);   

[m-carrasco]

This bug in TinyBCT is quite dangerous because the boogie code will be typed.