Model Checking Programs Using Parsing