default = {
    "anti": None,   # use anti-alignments
    "json": False,  # output alignments as json
    "log": None,    # log file to be used
    "many": None,   # use multi-alignments
    "model": None,  # model input (DPN) 
    "multi": None,  # use multi-alignments
    "numprocs": 1,  # number of processsors to use in parallel
    "obfuscate": None, # make given log uncertain
    "realizations": False, # compute realizations of uncertain log
    "solver": None, # could be yices, z3, z3-inc, om, om-inc
    "uncertainty": None, # use conformance checking with uncertainty
    "verbose": 1, # verbosity of output
    "z": None # debugging
  }
