Limiting Boogie to report just one error.