Change rule
Support dialyzer and call-graph option