BLAST - Infrastructure for C Program Verification