//Create a UPPAAL model from xml XDocument
public UppaalModel(XDocument xml, string countermeasure = "")
{
var nta = xml.Element ("nta");
globalDeclarations = getGlobalDeclarations(nta.Element("declaration").Value);
system = getSystem(nta.Element ("system").Value, countermeasure);
queries.AddRange(nta.XPathSelectElements("//queries/query/formula").Select(x => x.Value));
XMLHandler xlh = new XMLHandler(xml);
templates = xlh.getTemplates();//new List<Template>();
}
