added thesis example
added property test which checks algebra product consistency
(results from nussinov ADP grammar and corresponding adp-multi grammar
are checked for equality)