don't build a fresh policy unless there are asserts/retracts