maxstat_trafo did not always choose the correct maximal cutpoint. Formula evaluation without data argument was partially broken (thanks to Achim Zeileis for spotting this).