public void FindLint()
{
if (this.sDef.Snapshot == null)
{
SnapshotCreator.Create(this.sDef);
}
ElementLoader loader = new ElementLoader(this.processor);
ElementNode e = loader.Create(sDef);
SliceCardinalities(this.sDef, e);
}