Some test for partial spec. after inst. has been added.