Various additional assertions for the Flix programming language.