Added untested code (but it compiles) for Left Factoring.