BUGFIX: wrong any/none logic in high_model