[Truffle] - Using CompilerDirectives.injectBranchProbability in the DoWhile nodes