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