FIX dialyzer issues + added Dialyzer target to Makefile