implement VarSplitting