Add the WALA IR for the List Reversal program

See #1.