Assert syntax: when does it fail?