{
    "trace": ["statechart", "external", "internal"]
}