Function smt_lang::load_file

pub fn load_file(
    pretty: &mut Pretty,
    problem: &mut Problem,
    filename: &str,
    verbose: u8
) -> Result<(), Error>