* fix goal indexing

  When doing case splitting, the goal-indices list given by 'agda2-goals-action' instruction,
  is missing one index for some fuck knows reason. '*' be temporary index.