Implement `state_eq` predicate to compare simulated and initial db state feel free to use the json parser for that