Function add_counter_argument 

pub fn add_counter_argument(
    counter_literal: &Literal,
    target_conclusion: &Literal,
    system: &mut StructuredSystem,
) -> RuleId

Feed a critical question’s counter-argument into a StructuredSystem as an ordinary premise asserting the counter-literal, plus a defeasible rule concluding the contrary of the original scheme’s conclusion (rebut).

Returns the RuleId of the counter-rule.