Begin verifying assignment statements