fix dependencies from tracing to model
fix dependencies from dialyzer to model