Add tests for mk_nor and mk_nor2