* [ ] Move bun calculation to separate file for CuTest and vamos