Function test 

pub(crate) fn test(
    args: Test,
    rust_fixpoint: bool,
    suggestions: bool,
) -> Result<()>