Description: Change bound variable in a restricted description binder. Version of cbvriotav with a disjoint variable condition, which does not require ax-13 . (Contributed by NM, 18-Mar-2013) (Revised by Gino Giotto, 26-Jan-2024)