==================== Tidy Core rules ====================
"SC:$wf30" [2] forall. $wf3 g_imp = f3_$s$wf3