Added syntax error codes about @PreStateChange and @PostStateChange
Refactored @Callbacks
Fixed bug about duplicate error codes
Fixed bug about duplicate initial state
Added 1 positive test to test @Callbacks with default values
Added some more callback negative tests