Add support for checking the select instruction