added start of nmap CPTL dialect validation