Introduce the ConstFun attribute