implement external atom verification using support sets; add two test external atoms