This is published at SEFM 2024. The extended paper is available at https://github.com/seahorn/seamock/blob/main/main.pdf