Keyword driven automation has done more harm than good because it was almost always terribly implemented. It is half way into building a DSL, and another half way NOT being a Turing Complete dialect. Based on the scenarios, proper DSL can be made which is reliant on formal declarative methods of test verification.