Progress with efficient evaluation of ``valid_ptree mmlG``