fix: relaxed transitivity constraints was missing instance-only transitivity