Split a conjunction selectedConjunct & otherConjuncts
in
the antecedent
Split a conjunction selectedConjunct & otherConjuncts
in
the antecedent
Return true
if f
is a formula that can be handled
by this task
Return true
if f
is a formula that can be handled
by this task