add more dialyzer specifications
add more tests