For compatibility purpose, when setoid_rewriting a hypothesis, beta-iota
normalize it afterwards.