[yawaramin]

Surprised to hear about false positives, that's supposed to be impossible by the design of Dialyzer (it only reports provable type errors).