Fixed bug in SL prover that arises when records of different lengths are
framed off.