refactoring abbM.hs
edit todo
add test for recUpdE