fix contra

[Tragicus]

Motivation for this change

Part of the inference mechanism was missing and the canonical structures were not accessible.

Checklist

• [ ] added corresponding entries in CHANGELOG_UNRELEASED.md

• [ ] added corresponding documentation in the headers

Reference: How to document

Reminder to reviewers

• Read this Checklist
• Put a milestone if possible
• Check labels