fixed test cases, changed diagnostics output format and started implementing detailed diagnostics
add detailed_diagnostics

TODO: add test for it