Sample logic to be tested by ExCheck (refer to sample_test.exs for tests).
concatinate the list
push element in the list
concatinate the list.
push element in the list.