updated hoare triples to accomodate lifted heaps