test AG:
    let x = 1
    guard (x == 0)

test AE:
    spawn as p
    let x = 2
    expect /$x/ from p timeout 0.0

def fg:
    let x = 1
    guard (x == 0)

test BG:
    fg

def gg (x):
    let y = 2
    guard (x == y)

test CG:
    let z = 3
    gg (z)

def fe on p:
    let x = 1
    expect /$x/ from p timeout 0.0

test BE:
    spawn as p
    fe on p

def ge (x) on p:
    guard (x /= 0)
    let y = 2
    expect /$x $y/ from p timeout 0.0

test CE:
    spawn as p
    let z = 3
    ge (z) on p