symantic check for unary opts