Mcassert1

var p : bool

action a = {
    assert p
}

export a