Edited can-start-loop annotation

The debug-info argument of the annotation is now only optional.