added example for testing annotated ground program content