1387 …return ((BOOL_T) (folder_mode (MOID (p)) && constant_unit (SUB (p)) && constant_collateral (NEXT (…  in constant_collateral()
1407       if (constant_unit (p)) {  in count_constant_units()
1449     return ((BOOL_T) (folder_mode (MOID (p)) && constant_unit (p) && constant_argument (NEXT (p))));  in constant_argument()
1495         return (constant_unit (rhs));  in constant_monadic_formula()
1521           return ((BOOL_T) (constant_unit (lhs) && constant_unit (rhs)));  in constant_formula()
1536 constant_unit (NODE_T * p)  in constant_unit()  function
1541     return (constant_unit (SUB (p)));  in constant_unit()
1543     return (constant_unit (SUB (p)));  in constant_unit()
1545     return (constant_unit (SUB (p)));  in constant_unit()
1547     return (constant_unit (SUB (p)));  in constant_unit()
1549     return (constant_unit (SUB (p)));  in constant_unit()
1556       return (constant_unit (SUB (p)));  in constant_unit()
1558       return (constant_unit (SUB (p)));  in constant_unit()
1560       return (constant_unit (SUB (p)));  in constant_unit()
1562       return (constant_unit (SUB (p)));  in constant_unit()
1564       return (constant_unit (SUB (p)));  in constant_unit()
1586           ret = constant_unit (NEXT_NEXT (def));  in constant_unit()
1601     return ((BOOL_T) (folder_mode (MOID (SUB (p))) && constant_unit (NEXT_SUB (p))));  in constant_unit()
3518   } else if (constant_unit (p) && locate (p, DENOTATION) == NO_NODE) {  in inline_unit()