remove stuff from copy_fib
prove the right big_oh property for copy_fib, finally