update Monitor.k to call addRebuttal()