; Chad E Brown
; Jan 27 2012
; Default flag settings with minor modifications
INSTANTIATE_WITH_FUNC_DISEQN_SIDES
true
SPLIT_GLOBAL_DISJUNCTIONS
true
LEIBEQ_TO_PRIMEQ
true
INITIAL_SUBTERMS_AS_INSTANTIATIONS
true
