Make a safer assertion