ERESYE: Artificial Intelligence in Erlang Programs