at.logic.gapt.proofs.resolution.ral
* in a paranmodulation rule with equation s=t, designate if it is used non-flipped (false) i.e.
* in a paranmodulation rule with equation s=t, designate if it is used non-flipped (false) i.e. s=t or flipped (true) as t=s