Demonstration of Marceline DSL for Trident assisted by testing