Theorem Prover: Yet Another SMT Modulo Theorem Prover -- LEVER: A Tool for Learning