Add "non-declared information passing" P4_16 program as an example #14
Description
It is the one from my comment here: p4lang/p4c#1515 (comment)
It isn't a crucial thing for most people to understand, but it is a perhaps interesting example program for people wanting to prove properties about P4_16 programs, such as information flow.