Predator-ADT eperiment with cyclicDLL ===================================== - simple example of cyclic DLL analysis - source code of updated Predator ADT (experimental) with new templates for matching this special case only - NOTE: Predator uses slightly "unoptimized" sequences of DLS0+, DLS1+, and REG. Due to this, the SMGs in example differ from SMGs in the article.