Add get_caseval function