Fixed reading assumptions from file