Fix spec of functions
Support to execute dialyzer
Change the rule
Restrict dialyzer warnings