However, I think there is a hole in the current algorithm in which, if the System.currentTimeMillis clock ticks" after the line generateTime = getCurrentTimeMillis(lcc); (line 471) and before the line preparedStmt.setCompileTimeMillis(...) (line 521) then we can have a result where compileTime != (parseTime+bindTime+optimizeTime+generateTime), which is the invariant being tested by the test.