Added test assertions and module signature