Adds two machines from the Lee & Yannakakis Paper, some hypotheses for the ESM controller and some others