Function load 

pub fn load(
    path: &Path,
    properties: &[String],
    all_properties: bool,
) -> Result<(Scan<PmtlOracle>, ScxmlModel)>