fix in AnnotatedGroundProgram