Add test that unification doesn't prepend "1, " dimensions