Refactor synthetize with class
Add simulate command