master-thesis/p4debug/bug1-bool/static-mapping.p4i