- remove call to List.rev and fix ListH.mapi instead.
 - remove unsound rule pure_conc and strengthen rule smt instead