Exception ToString:===================System.InvalidCastException: Unable to cast object of type 'Microsoft.Boogie.Model+Uninterpreted' to type 'Microsoft.Boogie.Model+BitVector'.
  at GPUVerify.GPUVerifyErrorReporter.DetermineConflictingAction (Microsoft.Boogie.CallCounterexample CallCex, System.String RaceyState, System.String ACCESS_HAS_OCCURRED, System.String ACCESS_OFFSET) [0x000a5] in /data/install/gpuverify/GPUVerifyLib/GPUVerifyErrorReporter.cs:343 
  at GPUVerify.GPUVerifyErrorReporter.GetPossibleSourceLocationsForFirstAccessInRace (Microsoft.Boogie.CallCounterexample CallCex, System.String ArrayName, System.String AccessType, System.String RaceyState) [0x00034] in /data/install/gpuverify/GPUVerifyLib/GPUVerifyErrorReporter.cs:276 
  at GPUVerify.GPUVerifyErrorReporter.ReportRace (Microsoft.Boogie.CallCounterexample CallCex) [0x00044] in /data/install/gpuverify/GPUVerifyLib/GPUVerifyErrorReporter.cs:177 
  at GPUVerify.GPUVerifyErrorReporter.ReportCounterexample (Microsoft.Boogie.Counterexample error) [0x00098] in /data/install/gpuverify/GPUVerifyLib/GPUVerifyErrorReporter.cs:83 
  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) [0x00177] in /data/install/gpuverify/GPUVerifyLib/KernelAnalyser.cs:250 
  at Microsoft.Boogie.InvariantInferrer.inferInvariants (System.Collections.Generic.List`1 fileNames) [0x003f3] in /data/install/gpuverify/GPUVerifyCruncher/InvariantInferrer.cs:168 
  at GPUVerify.GPUVerifyCruncher.InferInvariantsInFiles (System.Collections.Generic.List`1 fileNames) [0x00009] in /data/install/gpuverify/GPUVerifyCruncher/GPUVerifyCruncher.cs:84 
  at GPUVerify.GPUVerifyCruncher.Main (System.String[] args) [0x00166] in /data/install/gpuverify/GPUVerifyCruncher/GPUVerifyCruncher.cs:64 