Update ASTProto.hpp