Refactoring of statements into instructions and execution/(de)serialization