add Hoare triples for constructions