fixed: auto serialization for semantic analysis