started to add tactic information in proof rep