Lpi Encodings of Choices, Exceptions and Rst-class Events