Added documentation for CCS.internal and added two samples that shall demonstrate a fundamental flaw of trace equality as LTS equivalence.