update bootstrap_lemmas for reorganisation of repl_funs