Add Backend:backend_eqc_postcondition_fold_keys() callback, for fs2 testing
Merge branch 'slf-backend_eqc-fold_keys'