specification utils
extending asserts to maps
more testing