renaming DBC assertions for readability