Krawczyk method module with tests