more checks added, printing of field names in headers modified to match that of parser
testing support for testing parser+pretty printer for NetKAT, trivial cases added for now, expected to add more cases over time