add Hoare triple