[Consistency Predicates] Minor Change: Renamed the field "finalized" to
"initialized"