removed unnecessary script "verify_magnitudeESBMC.h"
removed unnecessary script "verify_magnitudeESBMC.h"

ssvlab/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier,ssvlab/dsverifier