Fix Montelli-Montari & FindDesiredSequent
Fix FindDesiredSequent