comments for generate_pfor_statement