Support __getitem__() by positional number, like PBlock.
Refactor and add dummy test for strlen.ll.nossa .
Add back_annotate() to add liveness comments to input function.
Add dummy liveness test for strlen.ll.nossa .