fixed
renamed
refactored
approximating_bigstep_fun_singleton_prepend and refactoring