Hoare powerdomain

Hoare powerdomain