Add an extra test-case for generate_body