Add assertions-checking for <main>.