Generated policy updates
Cleared out variant policy SMS2 apps
Updated for new test case format (untested)
In process of rearrangement: deleting files mostly
More rearranging
Still reorganizing
Add Digital Media Center Credit Card app
Add precision-specific suffix to test cases

Syntax-only results added in this commit
Add standard semantic analysis results