extensions in AnnotatedGroundProgram