SMT: Oracle Decay Problem