assertion_db/10 declared volatile, to prevent it being saved to the program
Imported required library, basicprops