Fixed bug with (SIZE (0)) subtype and added test case