Cubicle 1.1.2 documentation and source : Ptree.encode

let encode_psystem psys =
  let sys = encode_psystem psys in
  if Options.debug then print_system std_formatter sys;
  sys