fix(realpaver/rp_interval): add more log
fix(opensmt/smtsolvers/CoreSMTSolver): add prefix for logs