Modularization of the Fest Assertions library