Added lock examples from SV-COMP.
Fixed a bug related to label names being keywords in Boogie. Also, added __VERIFIER_nondet_int to our preludes.
Increased default loop unrolling to 20 (from 15). Minor fixes in lock examples to push them through SMACK.
Merge branch 'master' into svcomp13
Skipping over LLVM debug info function calls.
Merge branch 'svcomp13' into ext
Implemented support for functions with variable number of arguments, and in particular for printf. Fixes #7.
Fixes a minor issues related to the fact that VERIFIER_nondet_int is a variable argument function since it is declared as extern.
Addressed another minor issues related to handling variable number of arguments functions. Fixes #7.