Function emit_halmos_arg 

pub fn emit_halmos_arg(
    values: &mut Vec<String>,
    arg: HalmosArg,
    value: &str,
) -> Result<(), String>