bug in taxo list solver