This directory is intended to test assertions: number of time they are called, when, etc.