flushed out models and base comparison predicates for reconciler