combine annotated programs