Using LPGenerate.hs