MESA/Boogie Triple Rectifier con AI Machine Modeling