value flow: refactor. added Token::getMaxValue()