Model:toModule() is debugged and unit tested