complete replacement of 'probabilistic with simple mhp' by 'LSOD'

Please note: This is a proper replacement, i.e. now a strict LSOD algorithm with precise MHP analysis is used instead of RLSOD with imprecise MHP analysis!