Added test that would reveal a problem with generation of default constructors that are not expliclty mentioned in the VDM model