- uNFOLDING_USE_THRESHOLD,
- uNFOLDING_CREATION_THRESHOLD,
- iNTERFACE_UNFOLD_THRESHOLD,
- lIBERATE_CASE_THRESHOLD,
- uNFOLDING_CHEAP_OP_COST,
- uNFOLDING_DEAR_OP_COST,
- uNFOLDING_NOREP_LIT_COST,
- uNFOLDING_CON_DISCOUNT_WEIGHT,
- uNFOLDING_KEENESS_FACTOR,
-