master-thesis/p4src/bug1-bool.p4