Deleted unnecessary lines in rexsolver.py