temporal version of mc Hoare triple