Add example mcf file that checks properties of the system.

execute with:

	$ mcrl22lps bridge.mcrl2 | lps2pbes -f check1.mcf | pbes2bool