Change the rule
Fix type of functions
Support to execute dialyzer