Fix CollectDefs to succeed even if the definition contains property or other annotations.
Fix CollectDefs to succeed even if the definition contains property or other annotations.

metaborg/runtime-libraries