Finally fixed reading of assumptions from file