Discrepancies and bugs among source/LP/reader: