Function libpatron::btor2::parse_str

pub fn parse_str(
    ctx: &mut Context,
    input: &str,
    name: Option<&str>
) -> Option<TransitionSystem>