Refactor statement.ml
Add real and pseudo instructions