Added #assert directives