Added an ASSERT function into function_definition.sql.