as Nuno suggested, add @llvm.assert which in Alive is just an alias

[regehr]

for @llvm.assume, but LLVM doesn't have any semantics for it, so treats it as opaque, so we don't have to worry about LLVM removing it