Refactor allowed syntax checks for attributes#4011

Scott-Guest wants to merge 2 commits intodevelopruntimeverification/k:developfrom

att-syntaxruntimeverification/k:att-syntaxCopy head branch name to clipboard