let print_derivation_online config = config.print_derivation_online