adding gen_refl tactic.