EA_MODEL 3.7.2.3 add MA precondition handling