Whether an expression is a stable, rewrite-time function of constant arguments, so it evaluates to one
constant term. Meant for a bottom-up pass: a static argument is by then already such a term, so this is
decided from the direct arguments without recursing. NOW is excluded - it is constant per execution but
its value is only fixed at execution time, not at rewrite time.
Whether an expression is a stable, rewrite-time function of constant arguments, so it evaluates to one constant term. Meant for a bottom-up pass: a static argument is by then already such a term, so this is decided from the direct arguments without recursing.
NOWis excluded - it is constant per execution but its value is only fixed at execution time, not at rewrite time.