rule "infer"
when true
then
    let x = one_arg("string");
    one_arg(x);
end
