Added more cases to ast traversals (DerivedPolicy,CombinatorPolicy).
Merge branch 'onug-hackathon' of https://github.com/frenetic-lang/pyretic into onug-hackathon