Fix option related dialyzer errors
Add coverage reporting
Fix parsing when global_tables_spec flag is not set