freeze 872 src/Function.cpp void Function::freeze() { freeze 200 src/Reduction.cpp void ReductionDomain::freeze() {