nialogic: simplify try, fix labels in cheq