Perl module implementing assertions
