Right now we are sort of blocked given that there needs to be no way to do an invariant style guard