exact-test subroutine

implements Liebermeister test