Function mut_as_strg

fn mut_as_strg(
    inputs: Vec<FnInput>,
    ensures: &[Ensures],
) -> ParseResult<Vec<FnInput>>