prove cheats in VSUBST_dbVSUBST

but add an assumption, that the substitution only has variables in its
domain.