4.2.1 The Tests Run By Annocheck