Fixed a bug in vfi spec with Product subclasses