add policies and assumptions list