Added some getters to WorstPylonCase