constant/constant_folder library