The bt_assert function does not return any value, so it was useless to have a option in term definition.