added a message DSL, working on PriorityBasedBacktrack