adds pre- and post condition for tests