Added subexpression check for domain verification