Pu

Somewhat simplified dialyzer plugin with rigid preferences.