Old3

object foo = {
    relation r
}

action a = {
    assert (old foo).r;
}

export a