let paramodulation = bool "paramodulation" params in
let full = bool "full" params in
let superposition = bool "superposition" params in
let paramodulation = bool "paramodulation" params in
let full = bool "full" params in
let superposition = bool "superposition" params in