Clean up of tabs and indentation + adding rebar compilation
give the behavior some dialyzer info