Function read_model_json_prefix 

pub fn read_model_json_prefix(
    path: &str,
    test_name: &str,
    prefix: &str,
    test_stage: &str,
    solver: Option<SolverFamily>,
    max_lines: usize,
) -> Result<String, Error>

Reads only the first max_lines from a serialised model JSON file.