type-checking equality test case for ProofSamples/BoolTrioSeq
forgot to include in Makefile
bisimilarity code in Report/ChapterPiWare