Bump max_fuel to 1, so that recursive functions will get at least one unfolding
Bump max_fuel to 1, so that recursive functions will get at least one
unfolding

project-everest/vale,project-everest/vale,project-everest/vale,project-everest/vale