Revert "add another spec for regression"

This reverts commit 0c1dcf3dfed7b14d13b2b09017667c1a93aeee36.
Revert "add .option and .flag macro methods to Policy"

This reverts commit ac56e81d138fa8933a575eb45781f4793b127c6d.