Fix dialyzer inputs in Makefile.
Reorganize tag tests.