Function add_scheme_to_system 

pub fn add_scheme_to_system(
    instance: &SchemeInstance,
    system: &mut StructuredSystem,
) -> RuleId

Feed a scheme instance into a StructuredSystem as ordinary premises and a defeasible rule (premises → conclusion).

Returns the RuleId of the defeasible rule that was added, which can be used for preference ordering via StructuredSystem::prefer_rule.

The instance’s premises are added as ordinary (defeasible) premises via StructuredSystem::add_ordinary. The instance’s conclusion (already polarised by the scheme’s crate::scheme::ConclusionTemplate) becomes the rule’s conclusion.