code: def ltlfo2mon(formula:Formula, trace:Trace):
      
      fl = formula.toLTLFO() if isinstance(formula, Formula) else formula
      tr = trace.toLTLFO() if isinstance(trace, Trace) else trace
      cmd = "echo \"%s\" | java -jar fodtlmon/tools/ltlfo2mon.jar -p \"%s\"" % (tr, fl)
      p = os.popen(cmd)
      res = p.readline()[:-1]
      p.close()
      return res
docs: Run ltlfo2mon
      :param formula: Formula | ltlfo string formula
      :param trace: Trace | ltlfo string trace
      :return: