%=%=% Test ./sanity/neg_01.pfc %=%=%


% module(user) 
% fileAssertMt(neg_01).
% /root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:36 
% fileAssertMt(mpred_loader).
% /root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:38 
% mpred_fwc1(arity(genlPreds, 2)).
% /root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:41 
% mpred_fwc1(meta_argtypes(mpred_undo_sys(ftAssertion, ftCallable, ftCallable))).
% mpred_fwc1(pfcControlled(mpred_undo_sys)).
% mpred_fwc1(support_hilog(mpred_undo_sys, 3)).
% mpred_fwc1(pfcControlled(mpred_undo_sys)).
% mpred_fwc1(tPred(mpred_undo_sys)).
% /root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:42 
% mpred_fwc1((mpred_undo_sys(P, WhenAdded, WhenRemoved)==> (P==>{WhenAdded}), mpred_do_and_undo_method(WhenAdded, WhenRemoved))).
% mpred_fwc1(mpred_mark(pfcRHS, mpred_do_and_undo_method, 2)).
% mpred_fwc1(pfcRHS(mpred_do_and_undo_method)).
% mpred_fwc1(marker_supported(mpred_do_and_undo_method, 2)).
% mpred_fwc1(tPred(mpred_do_and_undo_method)).
% mpred_fwc1(pfcControlled(mpred_do_and_undo_method)).
% mpred_fwc1(support_hilog(mpred_do_and_undo_method, 2)).
% mpred_fwc1(pfcControlled(mpred_do_and_undo_method)).
% mpred_fwc1(mpred_mark(pfcRHS, mpred_do_and_undo_method, 2)).
% mpred_fwc1(mpred_mark(pfcCreates, mpred_do_and_undo_method, 2)).
% mpred_fwc1(pfcCreates(mpred_do_and_undo_method)).
% mpred_fwc1(mpred_mark(pfcCreates, mpred_do_and_undo_method, 2)).
% mpred_fwc1(mpred_mark(pfcLHS, mpred_undo_sys, 3)).
% mpred_fwc1(pfcLHS(mpred_undo_sys)).
% mpred_fwc1(mpred_mark(pfcPosTrigger, mpred_undo_sys, 3)).
% mpred_fwc1(pfcPosTrigger(mpred_undo_sys)).
% mpred_fwc1(marker_supported(mpred_undo_sys, 3)).
% uses_predicate(baseKB, user, gripe_CPUTIME, 2).
% gripe_CPUTIME(warn(0.7883543980000002>0.6), baseKB:must(mpred_post_update4(unique,  (mpred_undo_sys(P, WhenAdded, WhenRemoved)==> (P==>{WhenAdded}), mpred_do_and_undo_method(WhenAdded, WhenRemoved)),  (mfl(mpred_loader, '/root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl', 42), ax), none))).
% gripe_CPUTIME(warn(0.8030805550000001>0.6), abox:with_umt((if_defined_else(fully_expand(clause(assert, ain),  (mpred_undo_sys(P, WhenAdded, WhenRemoved)==> (P==>{WhenAdded}), mpred_do_and_undo_method(WhenAdded, WhenRemoved)),  (mpred_undo_sys(P, WhenAdded, WhenRemoved)==> (P==>{WhenAdded}), mpred_do_and_undo_method(WhenAdded, WhenRemoved))),  (mpred_undo_sys(P, WhenAdded, WhenRemoved)==> (P==>{WhenAdded}), mpred_do_and_undo_method(WhenAdded, WhenRemoved))= (mpred_undo_sys(P, WhenAdded, WhenRemoved)==> (P==>{WhenAdded}), mpred_do_and_undo_method(WhenAdded, WhenRemoved)))->ain_fast((mpred_undo_sys(P, WhenAdded, WhenRemoved)==> (P==>{WhenAdded}), mpred_do_and_undo_method(WhenAdded, WhenRemoved)),  (mfl(mpred_loader, '/root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl', 42), ax))))).
% /root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:48 
% mpred_fwc1(comment(isa, 'Instance of')).
% /root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:50 
% mpred_fwc1(~tCol(genlPreds)).
% /root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:52 
% mpred_fwc1(~singleValuedInArg(arity, 2)).
% /root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:53 
% mpred_fwc1(~prologSingleValued(arity)).
% /root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:54 
% mpred_fwc1(~prologSingleValued(support_hilog)).
% /root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:56 
% mpred_fwc1(~arity(argIsa, 1)).
% /root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:57 
% mpred_fwc1(arity(pddlObjects, 2)).
% /root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:59 
% mpred_fwc1(tPred(genls)).
% /root/lib/swipl/pack/logicmoo_base/prolog/logicmoo/pfc/system_common.pfc.pl:102 
% mpred_fwc1((never_retract_u(~X, is_ftVar(X)):-cwc, is_ftVar(X))