examples/example_3.hsf

@analyze_option{
    loggers = [graphic=svg];
    goal = WeakPass
}
@message{
    m(Integer,Integer);
    bip;bop;boop
}
@variable{
    x : Integer;
    y : Integer;
    v : Integer;
    w : Integer
}
@lifeline{
    l1;
    l2
}
@init{
    l1.v = #;
    l1.w = #
}
@seq(
    l1 -- m(#,(v+w)) -> l2{x:=($0+$1);y:=($0-$1)},
    @alt(
        [(x>(y-2))]l2 -- bip -> l1,
        [(x<=(y-2))]l2 -- bop -> l1
    ),
    l2 -- boop ->|
)