prove saconv implies raconv o vsubst

the other direction is the one we need (hopefully it's enough) but will
be much harder - the hope is that saconv will make it work because it
does the changing of env and subst internally like vsubst does..