add constraint EngineConsistency