Added typesetting for fully annotated hoare