-- src.go -- package main func f() bool func g() bool func main() { _ = f() && g() _ = f() || g() } -- want -- B0: ExKindBool, CFG block .0 f() succs: B1 B2 B1: ExKindSubExpr, CFG block .0 g() succs: B2 B2: ExKindStmt, CFG block .0 _ = B0 && B1 succs: B3 B3: ExKindBool, CFG block .0 f() succs: B5 B4 B4: ExKindSubExpr, CFG block .0 g() succs: B5 B5: ExKindStmt, CFG block .0 _ = B3 || B4 succs: B6 B6: ExKindStmt, CFG block .0 return