Exception ToString:===================System.InvalidCastException: Cannot cast from source type to destination type.
  at GPUVerify.GPUVerifyErrorReporter.DetermineConflictingAction (Microsoft.Boogie.CallCounterexample CallCex, System.String RaceyState, System.String ACCESS_HAS_OCCURRED, System.String ACCESS_OFFSET) [0x00000] in <filename unknown>:0 
  at GPUVerify.GPUVerifyErrorReporter.GetPossibleSourceLocationsForFirstAccessInRace (Microsoft.Boogie.CallCounterexample CallCex, System.String ArrayName, System.String AccessType, System.String RaceyState) [0x00000] in <filename unknown>:0 
  at GPUVerify.GPUVerifyErrorReporter.ReportRace (Microsoft.Boogie.CallCounterexample CallCex) [0x00000] in <filename unknown>:0 
  at GPUVerify.GPUVerifyErrorReporter.ReportCounterexample (Microsoft.Boogie.Counterexample error) [0x00000] in <filename unknown>:0 
  at GPUVerify.KernelAnalyser.ProcessOutcome (Microsoft.Boogie.Program program, System.String implName, Outcome outcome, System.Collections.Generic.List`1 errors, System.String timeIndication, System.Int32& errorCount, System.Int32& verified, System.Int32& inconclusives, System.Int32& timeOuts, System.Int32& outOfMemories) [0x00000] in <filename unknown>:0 
  at Microsoft.Boogie.InvariantInferrer.inferInvariants (System.Collections.Generic.List`1 fileNames) [0x00000] in <filename unknown>:0 
  at GPUVerify.GPUVerifyCruncher.InferInvariantsInFiles (System.Collections.Generic.List`1 fileNames) [0x00000] in <filename unknown>:0 
  at GPUVerify.GPUVerifyCruncher.Main (System.String[] args) [0x00000] in <filename unknown>:0 