set default initializers in properties, need compiler support
fix NRE in traversing Final state, remove warnings
work on File fsm test, fix parsing errors