Solved some bugs and implemented some propagation // TODO: get rid of AgatePolicy.java