Added an example that shows that trace equivalence does not imply terminating trace equivalence.
Updating the svg file to the state of the pdf file (forgot to commit that).
Merge git://github.com/gfhcs/cp-material

Conflicts:
	images/tr_notIn_ttr.svg