Cleaner, typesafe fix for assert().