Failpass

action a = {
    assert false
}

action b = {
}

export a