1 2 3 4 5 6
// "Two Xlint warnings wth cflow?" aspect A { before(): call(* *(..)) && cflow(execution(* *(..))) { } }