equip the elimination rules to work when goal is not truth (a bit ugly right now)
equip the elimination rules to work when goal is not truth (a bit ugly right now)

ak3n/redprl,JonPRL/sml-red-jonprl,jozefg/sml-red-jonprl,RedPRL/sml-redprl,ak3n/sml-red-jonprl