checkpointing impl. of param_list_r
finished impl param_list_r/2