Added machineSim with basic contract annotated class files (src unmodified)
Clean-up in basic