- Include TLA+ new representation into the D1.2 document