Additional assertion imports for testing