Description: Version of vtoclgf with one non-freeness hypothesis replaced with a disjoint variable condition, thus avoiding dependency on ax-11 and ax-13 . (Contributed by BJ, 1-May-2019)