[SQUASH] Fixed dialyzer specs