Fix documentation string for test examples

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>
print-dup methods for the syntax

Signed-off-by: Daniel Borchmann <daniel.borchmann@mailbox.tu-dresden.de>