Trying to get hoare derivation rules correct.

Apparently it is harder than I thought...