added coverage()-functionality. remains untested until now