Improve performance for list implementation

[lucasccordeiro]

ESBMC-Python can verify this Python program in a few milliseconds while ESBMC-Python-CPP takes many seconds:

lst = [1, 2, 3, 4, 5]
assert len(lst) == 5, "List length is incorrect!"