import lexer_example
@with_lexer(foo_lexer)
grammar foo_grammar {
    @main_rule main_rule <- Example("example")

}

@abstract class FooNode : Node {
}

class Example : FooNode {
    a : LogicVar

    fun pred (): Bool = false

    @export fun do_solving (): Bool =
    %predicate(BareExample.pred, node.a).solve()
}
