Action1

isolate foo = {
}

isolate bar = {
    action a
    invariant true
}

export bar.a