void serialize(QXmlStreamWriter& stream);
static BasicBlock* deserialize(QXmlStreamReader& stream, InformationManager* manager);
void serialize(QXmlStreamWriter& stream);
static BasicBlock* deserialize(QXmlStreamReader& stream, InformationManager* manager);