[abmReasoning] updated

remove /efaa/ in all headers.

CMakeLists still not working.