more refactoring: pulled check@"statement-list" into check_program