Consider pathcond to extract known smaller values