Build Stage Two Interpreter; Prepared Model
Merge branch 'Satisfier'