Fixed unittests.
Removed junk file.
Modified infer_sl to record failures.
Added migration.