let mk_select a j =
    assert(Term.is_var a);
    assert(Term.is_var j);
    select a j