- added unit tests generated by smack