Remove lins from Prog, allow each thread to have independent lins