Add support for lemmas from tuples file
Move tuple splitter helper function outside of class