let subterms_only = bool "subterms_only" params in
let caso_strano = bool "caso_strano" params in
let demod_table = string "demod_table" params in
let subterms_only = bool "subterms_only" params in
let caso_strano = bool "caso_strano" params in
let demod_table = string "demod_table" params in