Added expected verification results for LLBMC benchmark suite