Add priority encoder
Add casez example illustrating casex potential problem