Detect SEM2.1, SEM3.1 in prolog-analyzer, update format for SEM2.1, SEM3.1 to support indexed names
Detect SEM2.1, SEM3.1 in prolog-analyzer, update format for SEM2.1, SEM3.1 to support indexed names
Detect SEM2.1, SEM3.1 in prolog-analyzer, update format for SEM2.1, SEM3.1 to support indexed names