However Erlang does include a static analyzer (dialyzer), which every production system should be using.