Added constraint description to test file and to readFromFile()