Failed

logicmoo.pfc.test.sanity_base.ATTVAR_03.logicmoo.pfc.test.sanity_base.ATTVAR_03@Test_0001_Line_0000__sk_in_1_in_user: user:(sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666') (from logicmoo.pfc.test.sanity_base.logicmoo.pfc.test.sanity_base.ATTVAR_03)

Failing for the past 1 build (Since #9 )
Took 1 ms.
Failed with 0 retries

Run 1:

Error Message

failure = "failure=info((why_was_true(user:(\\+ (sk_in(_93060),get_attr(_93060,sk,_93082),_93082='SKF-666'))),nop(ftrace(user:(sk_in(_93060),get_attr(_93060,sk,_93082),_93082='SKF-666')))))\nno_proof_for(\\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')).\n\nno_proof_for(\\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')).\n\nno_proof_for(\\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')).\n\n". failure = []. 

Standard Error

name=Test_0001_Line_0000__sk_in_1_in_user
JUNIT_CLASSNAME='logicmoo.pfc.test.sanity_base.ATTVAR_03'.
JUNIT_CMD='timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "[\'attvar_03.pfc\']"'.
 (cd /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base ; timeout --foreground --preserve-status -s SIGKILL -k 10s 10s swipl -x /var/lib/jenkins/workspace/logicmoo_workspace/bin/lmoo-clif -t "['attvar_03.pfc']")

```
%~ init_phase(after_load)
%~ init_phase(restore_state)
%
%~ init_why(after_boot,program)
%~ after_boot.
%~ Dont forget to ?- logicmoo_i_cyc_xform.
%~ message_hook(
%~    error( permission_error(redefine,module,logicmoo_test),
%~      context(
%~         prolog_stack( [ frame( 57,
%~                           call( system : '$declare_module'/6),
%~                           '$declare_module'( logicmoo_test,
%~                             user,
%~                              user, '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', 14, false)),
%~                         frame( 56,
%~                           clause(<gt;clause>(0x56104635ec00),61),
%~                           '$start_module'( logicmoo_test,
%~                             [ mpred_test/1, run_junit_tests/0,run_junit_tests/1,
%~                               run_tests_and_halt/0,run_tests_and_halt/1],
%~                             state( true,
%~                               logicmoo_test, true,false,
%~                                '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', -),
%~                             [ if(not_loaded),
%~                               true])),
%~                         frame( 55,
%~                           clause(<gt;clause>(0x56104614b000),65),
%~                           '$first_term'(
%~                              :-( module( logicmoo_test, [
%~                                    [ mpred_test/1, run_junit_tests/0,run_junit_tests/1,
%~                                      run_tests_and_halt/0,run_tests_and_halt/1])]),
%~                              _65850,
%~                              '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                              state( true,
%~                                logicmoo_test, true,false,
%~                                 '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', -),
%~                              [ if(not_loaded),
%~                                true])),
%~                         frame( 54,
%~                           clause(<gt;clause>(0x56104614b400),60),
%~                           '$load_file'( '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                             '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                             Var_c47_lib_c47_jenkins_c47_c46_local_c47_share_c47_swi_prolog_c47_pack_c47_logicmoo_utils_c47_prolog_c47_logicmoo_test_c46_pl,
%~                             [ if(not_loaded),
%~                               true])),
%~                         frame( 53,
%~                           clause(<gt;clause>(0x56104639f980),5),
%~                           setup_call_catcher_cleanup(
%~                              system : '$start_consult'('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',1632728904.5489006),
%~                              system : '$load_file'( '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                                         '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                                         Var_c47_lib_c47_jenkins_c47_c46_local_c47_share_c47_swi_prolog_c47_pack_c47_logicmoo_utils_c47_prolog_c47_logicmoo_test_c46_pl1,
%~                                         [ if(not_loaded),
%~                                           true]),
%~                              Kw,
%~                              system : '$end_consult'( '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                                         lexstate(202,pfc),
%~                                         user))),
%~                         frame( 49,
%~                           clause(<gt;clause>(0x56104659e000),221),
%~                           '$do_load_file_2'( library(logicmoo_test),
%~                             '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', user,compiled,
%~                             [ if(not_loaded),
%~                               true])),
%~                         frame( 46,
%~                           clause(<gt;clause>(0x561046374840),10),
%~                           '$qdo_load_file'( library(logicmoo_test),
%~                             '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', user,[if(not_loaded),true])),
%~                         frame( 44,
%~                           clause(<gt;clause>(0x56104639f980),5),
%~                           setup_call_catcher_cleanup(
%~                              system : with_mutex( '$load_file',
%~                                         '$mt_start_load'( '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                                           <gt;clause>(0x561047a1cc80),
%~                                           [ if(not_loaded),
%~                                             true])),
%~                              system : '$mt_do_load'( <gt;clause>(0x561047a1cc80),
%~                                         library(logicmoo_test),
%~                                         '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', user,[if(not_loaded),true]),
%~                              Kw3,
%~                              system : '$mt_end_load'(<gt;clause>(0x561047a1cc80)))),
%~                         frame(42,meta_call,0),
%~                         frame( 41,
%~                           foreign( system : '$sig_atomic'/1),
%~                           $sig_atomic( setup_call_cleanup(
%~                                           with_mutex( '$load_file',
%~                                             '$mt_start_load'( '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                                               <gt;clause>(0x561047a1cc80),
%~                                               [ if(not_loaded),
%~                                                 true])),
%~                                           '$mt_do_load'( <gt;clause>(0x561047a1cc80),
%~                                             library(logicmoo_test),
%~                                             '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', user,[if(not_loaded),true]),
%~                                           '$mt_end_load'(<gt;clause>(0x561047a1cc80))))),
%~                         frame( 38,
%~                           clause(<gt;clause>(0x56104637ac80),12),
%~                           '$load_file'(library(logicmoo_test),user,[if(not_loaded),true])),
%~                         frame( 33,
%~                           clause(<gt;clause>(0x561046371200),2),
%~                           catch(
%~                              user : use_module( library(logicmoo_test)),
%~                              error(Error,Error18),
%~                              system : $exception_in_directive( error(Error5,Error19)))),
%~                         frame(32,clause(<gt;clause>(0x56104633e580),55),'$execute_directive_3'(use_module(library(logicmoo_test)))),
%~                         frame( 26,
%~                           clause(<gt;clause>(0x56104614b400),60),
%~                           '$load_file'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                             '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                             Var_c47_lib_c47_jenkins_c47_workspace_c47_logicmoo_workspace_c47_packs_sys_c47_pfc_c47_t_c47_sanity_base_c47_attvar_03_c46_pfc,
%~                             [ expand(false),
%~                               expand(true)])),
%~                         frame( 25,
%~                           clause(<gt;clause>(0x56104639f980),5),
%~                           setup_call_catcher_cleanup(
%~                              system : '$start_consult'('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',1632573820.1932466),
%~                              system : '$load_file'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                                         '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                                         Var_c47_lib_c47_jenkins_c47_workspace_c47_logicmoo_workspace_c47_packs_sys_c47_pfc_c47_t_c47_sanity_base_c47_attvar_03_c46_pfc7,
%~                                         [ expand(false),
%~                                           expand(true)]),
%~                              Kw8,
%~                              system : '$end_consult'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                                         lexstate(202,swi),
%~                                         user))),
%~                         frame( 21,
%~                           clause(<gt;clause>(0x56104659e000),221),
%~                           '$do_load_file_2'( 'attvar_03.pfc',
%~                             '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc', user,compiled,
%~                             [ expand(false),
%~                               expand(true)])),
%~                         frame( 18,
%~                           clause(<gt;clause>(0x561046374840),10),
%~                           '$qdo_load_file'( 'attvar_03.pfc',
%~                             '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc', user,[expand(false),expand(true)])),
%~                         frame( 16,
%~                           clause(<gt;clause>(0x56104639f980),5),
%~                           setup_call_catcher_cleanup(
%~                              system : with_mutex( '$load_file',
%~                                         '$mt_start_load'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                                           <gt;clause>(0x561047a1cb00),
%~                                           [ expand(false),
%~                                             expand(true)])),
%~                              system : '$mt_do_load'( <gt;clause>(0x561047a1cb00),
%~                                         'attvar_03.pfc',
%~                                         '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                                         user,
%~                                         [ expand(false),
%~                                           expand(true)]),
%~                              Kw9,
%~                              system : '$mt_end_load'(<gt;clause>(0x561047a1cb00)))),
%~                         frame(14,meta_call,0),
%~                         frame( 13,
%~                           foreign( system : '$sig_atomic'/1),
%~                           $sig_atomic( setup_call_cleanup(
%~                                           with_mutex( '$load_file',
%~                                             '$mt_start_load'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                                               <gt;clause>(0x561047a1cb00),
%~                                               [ expand(false),
%~                                                 expand(true)])),
%~                                           '$mt_do_load'( <gt;clause>(0x561047a1cb00),
%~                                             'attvar_03.pfc',
%~                                             '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc', user,[expand(false),expand(true)]),
%~                                           '$mt_end_load'(<gt;clause>(0x561047a1cb00))))),
%~                         frame( 10,
%~                           clause(<gt;clause>(0x56104637ac80),12),
%~                           '$load_file'('attvar_03.pfc',user,[expand(false),expand(true)]))]),
%~         'Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl')),
%~    error,
%~    [ 'No permission to ~w ~w `~p\''-[redefine,module,logicmoo_test],
%~      ' (~w)'-['Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl'], nl,'In:',nl,'~|~t[~D]~6+ '-[57],
%~      '~p' - [ '$declare_module'( logicmoo_test,
%~                 user,
%~                  user, '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', 14, false)], nl,'~|~t[~D]~6+ '-[56],
%~      '~p' - [ '$start_module'( logicmoo_test,
%~                 [ mpred_test/1, run_junit_tests/0,run_junit_tests/1,
%~                   run_tests_and_halt/0,run_tests_and_halt/1],
%~                 state( true,
%~                   logicmoo_test, true,false,
%~                    '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', -),
%~                 [ if(not_loaded),
%~                   true])],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',3166], nl,'~|~t[~D]~6+ '-[55],
%~      '~p' - [ '$first_term'(
%~                  :-( module( logicmoo_test, [
%~                        [ mpred_test/1, run_junit_tests/0,run_junit_tests/1,
%~                          run_tests_and_halt/0,run_tests_and_halt/1])]),
%~                  _109960,
%~                  '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                  state( true,
%~                    logicmoo_test, true,false,
%~                     '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', -),
%~                  [ if(not_loaded),
%~                    true])],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',3055], nl,'~|~t[~D]~6+ '-[54],
%~      '~p' - [ '$load_file'( '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                 '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                 Var_c47_lib_c47_jenkins_c47_c46_local_c47_share_c47_swi_prolog_c47_pack_c47_logicmoo_utils_c47_prolog_c47_logicmoo_test_c46_pl,
%~                 [ if(not_loaded),
%~                   true])],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',3007], nl,'~|~t[~D]~6+ '-[53],
%~      '~p' - [ setup_call_catcher_cleanup(
%~                  system : '$start_consult'('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',1632728904.5489006),
%~                  system : '$load_file'( '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                             '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                             Var_c47_lib_c47_jenkins_c47_c46_local_c47_share_c47_swi_prolog_c47_pack_c47_logicmoo_utils_c47_prolog_c47_logicmoo_test_c46_pl1,
%~                             [ if(not_loaded),
%~                               true]),
%~                  Kw,
%~                  system : '$end_consult'( '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                             lexstate(202,pfc),
%~                             user))],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',646], nl,'~|~t[~D]~6+ '-[49],
%~      '~p' - [ '$do_load_file_2'( library(logicmoo_test),
%~                 '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', user,compiled,[if(not_loaded),true])],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',2592], nl,'~|~t[~D]~6+ '-[46],
%~      '~p' - [ '$qdo_load_file'( library(logicmoo_test),
%~                 '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', user,[if(not_loaded),true])],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',2547], nl,'~|~t[~D]~6+ '-[44],
%~      '~p' - [ setup_call_catcher_cleanup(
%~                  system : with_mutex( '$load_file',
%~                             '$mt_start_load'( '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                               <gt;clause>(0x561047a1cc80),
%~                               [ if(not_loaded),
%~                                 true])),
%~                  system : '$mt_do_load'( <gt;clause>(0x561047a1cc80),
%~                             library(logicmoo_test),
%~                             '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', user,[if(not_loaded),true]),
%~                  Kw3,
%~                  system : '$mt_end_load'(<gt;clause>(0x561047a1cc80)))],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',646], nl,'~|~t[~D]~6+ '-[42],'<gt;meta call>',
%~      nl,'~|~t[~D]~6+ '-[41],
%~      '~p' - [ $sig_atomic( setup_call_cleanup(
%~                               with_mutex( '$load_file',
%~                                 '$mt_start_load'( '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',
%~                                   <gt;clause>(0x561047a1cc80),
%~                                   [ if(not_loaded),
%~                                     true])),
%~                               '$mt_do_load'( <gt;clause>(0x561047a1cc80),
%~                                 library(logicmoo_test),
%~                                 '/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl', user,[if(not_loaded),true]),
%~                               '$mt_end_load'(<gt;clause>(0x561047a1cc80))))], ' <gt;foreign>'-[],nl,
%~      '~|~t[~D]~6+ '-[38],
%~      '~p' - [ '$load_file'(library(logicmoo_test),user,[if(not_loaded),true])],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',2355], nl,'~|~t[~D]~6+ '-[33],
%~      '~p' - [ catch(
%~                  user : use_module( library(logicmoo_test)),
%~                  error(Error,Error18),
%~                  system : $exception_in_directive( error(Error5,Error19)))],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',546], nl,'~|~t[~D]~6+ '-[32],
%~      '~p' - [ $execute_directive_3( use_module( library(logicmoo_test)))],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',3574], nl,'~|~t[~D]~6+ '-[26],
%~      '~p' - [ '$load_file'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                 '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                 Var_c47_lib_c47_jenkins_c47_workspace_c47_logicmoo_workspace_c47_packs_sys_c47_pfc_c47_t_c47_sanity_base_c47_attvar_03_c46_pfc,
%~                 [ expand(false),
%~                   expand(true)])],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',3007], nl,'~|~t[~D]~6+ '-[25],
%~      '~p' - [ setup_call_catcher_cleanup(
%~                  system : '$start_consult'('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',1632573820.1932466),
%~                  system : '$load_file'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                             '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                             Var_c47_lib_c47_jenkins_c47_workspace_c47_logicmoo_workspace_c47_packs_sys_c47_pfc_c47_t_c47_sanity_base_c47_attvar_03_c46_pfc7,
%~                             [ expand(false),
%~                               expand(true)]),
%~                  Kw8,
%~                  system : '$end_consult'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                             lexstate(202,swi),
%~                             user))],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',646], nl,'~|~t[~D]~6+ '-[21],
%~      '~p' - [ '$do_load_file_2'( 'attvar_03.pfc',
%~                 '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc', user,compiled,
%~                 [ expand(false),
%~                   expand(true)])],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',2592], nl,'~|~t[~D]~6+ '-[18],
%~      '~p' - [ '$qdo_load_file'( 'attvar_03.pfc',
%~                 '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc', user,[expand(false),expand(true)])],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',2547], nl,'~|~t[~D]~6+ '-[16],
%~      '~p' - [ setup_call_catcher_cleanup(
%~                  system : with_mutex( '$load_file',
%~                             '$mt_start_load'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                               <gt;clause>(0x561047a1cb00),
%~                               [ expand(false),
%~                                 expand(true)])),
%~                  system : '$mt_do_load'( <gt;clause>(0x561047a1cb00),
%~                             'attvar_03.pfc',
%~                             '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc', user,[expand(false),expand(true)]),
%~                  Kw9,
%~                  system : '$mt_end_load'(<gt;clause>(0x561047a1cb00)))],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',646], nl,'~|~t[~D]~6+ '-[14],'<gt;meta call>',
%~      nl,'~|~t[~D]~6+ '-[13],
%~      '~p' - [ $sig_atomic( setup_call_cleanup(
%~                               with_mutex( '$load_file',
%~                                 '$mt_start_load'( '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',
%~                                   <gt;clause>(0x561047a1cb00),
%~                                   [ expand(false),
%~                                     expand(true)])),
%~                               '$mt_do_load'( <gt;clause>(0x561047a1cb00),
%~                                 'attvar_03.pfc',
%~                                 '/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc', user,[expand(false),expand(true)]),
%~                               '$mt_end_load'(<gt;clause>(0x561047a1cb00))))], ' <gt;foreign>'-[],nl,
%~      '~|~t[~D]~6+ '-[10],
%~      '~p' - [ '$load_file'('attvar_03.pfc',user,[expand(false),expand(true)])],
%~      ' at ~w:~d'-['/var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl',2355], nl,nl,
%~      'Note: some frames are missing due to last-call optimization.'-[],
%~      nl,
%~      'Re-run your program in debug mode (:- debug.) to get more detail.'-[]])
%~ source_location('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',11)
No permission to redefine module `logicmoo_test' (Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl)
In:
  [57] $declare_module(logicmoo_test,user,user,'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',14,false)
  [56] $start_module(logicmoo_test,[(mpred_test/1),(run_junit_tests/0),(run_junit_tests/1),(run_tests_and_halt/0),(run_tests_and_halt/1)],state(true,logicmoo_test,true,false,'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',-),[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3166
  [55] $first_term((:-module(logicmoo_test,[(mpred_test/1),(run_junit_tests/0),(run_junit_tests/1),(run_tests_and_halt/0),(run_tests_and_halt/1)])),_732,'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',state(true,logicmoo_test,true,false,'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',-),[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3055
  [54] $load_file('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl','/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',_870,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3007
  [53] setup_call_catcher_cleanup(system: $start_consult('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',1632728904.5489006),system: $load_file('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl','/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',_948,[if(not_loaded),must_be_module(true)]),_920,system: $end_consult('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',lexstate(202,pfc),user)) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646
  [49] $do_load_file_2(library(logicmoo_test),'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',user,compiled,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2592
  [46] $qdo_load_file(library(logicmoo_test),'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',user,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2547
  [44] setup_call_catcher_cleanup(system:with_mutex($load_file,$mt_start_load('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',<gt;clause>(0x561047a1cc80),[if(not_loaded),must_be_module(true)])),system: $mt_do_load(<gt;clause>(0x561047a1cc80),library(logicmoo_test),'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',user,[if(not_loaded),must_be_module(true)]),_1128,system: $mt_end_load(<gt;clause>(0x561047a1cc80))) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646
  [42] <gt;meta call>
  [41] $sig_atomic(setup_call_cleanup(with_mutex($load_file,$mt_start_load('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',<gt;clause>(0x561047a1cc80),[if(not_loaded),must_be_module(true)])),$mt_do_load(<gt;clause>(0x561047a1cc80),library(logicmoo_test),'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',user,[if(not_loaded),must_be_module(true)]),$mt_end_load(<gt;clause>(0x561047a1cc80)))) <gt;foreign>
  [38] $load_file(library(logicmoo_test),user,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2355
  [33] catch(user:use_module(library(logicmoo_test)),error(_1450,_1452),system: $exception_in_directive(error(_1466,_1468))) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:546
  [32] $execute_directive_3(use_module(library(logicmoo_test))) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3574
  [26] $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',_1528,[expand(false),expand(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3007
  [25] setup_call_catcher_cleanup(system: $start_consult('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',1632573820.1932466),system: $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',_1606,[expand(false),expand(true)]),_1578,system: $end_consult('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',lexstate(202,swi),user)) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646
  [21] $do_load_file_2('attvar_03.pfc','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',user,compiled,[expand(false),expand(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2592
  [18] $qdo_load_file('attvar_03.pfc','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',user,[expand(false),expand(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2547
  [16] setup_call_catcher_cleanup(system:with_mutex($load_file,$mt_start_load('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',<gt;clause>(0x561047a1cb00),[expand(false),expand(true)])),system: $mt_do_load(<gt;clause>(0x561047a1cb00),'attvar_03.pfc','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',user,[expand(false),expand(true)]),_1778,system: $mt_end_load(<gt;clause>(0x561047a1cb00))) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646
  [14] <gt;meta call>
  [13] $sig_atomic(setup_call_cleanup(with_mutex($load_file,$mt_start_load('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',<gt;clause>(0x561047a1cb00),[expand(false),expand(true)])),$mt_do_load(<gt;clause>(0x561047a1cb00),'attvar_03.pfc','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',user,[expand(false),expand(true)]),$mt_end_load(<gt;clause>(0x561047a1cb00)))) <gt;foreign>
  [10] $load_file('attvar_03.pfc',user,[expand(false),expand(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2355

Note: some frames are missing due to last-call optimization.
Re-run your program in debug mode (:- debug.) to get more detail.
ERROR: /var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc:11:
ERROR:    No permission to redefine module `logicmoo_test' (Already loaded from /root/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl)
ERROR:    In:
ERROR:      [57] $declare_module(logicmoo_test,user,user,'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',14,false)
ERROR:      [56] $start_module(logicmoo_test,[(mpred_test/1),(run_junit_tests/0),(run_junit_tests/1),(run_tests_and_halt/0),(run_tests_and_halt/1)],state(true,logicmoo_test,true,false,'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',-),[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3166
ERROR:      [55] $first_term((:-module(logicmoo_test,[(mpred_test/1),(run_junit_tests/0),(run_junit_tests/1),(run_tests_and_halt/0),(run_tests_and_halt/1)])),_732,'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',state(true,logicmoo_test,true,false,'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',-),[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3055
ERROR:      [54] $load_file('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl','/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',_870,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3007
ERROR:      [53] setup_call_catcher_cleanup(system: $start_consult('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',1632728904.5489006),system: $load_file('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl','/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',_948,[if(not_loaded),must_be_module(true)]),_920,system: $end_consult('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',lexstate(202,pfc),user)) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646
ERROR:      [49] $do_load_file_2(library(logicmoo_test),'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',user,compiled,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2592
ERROR:      [46] $qdo_load_file(library(logicmoo_test),'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',user,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2547
ERROR:      [44] setup_call_catcher_cleanup(system:with_mutex($load_file,$mt_start_load('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',<gt;clause>(0x561047a1cc80),[if(not_loaded),must_be_module(true)])),system: $mt_do_load(<gt;clause>(0x561047a1cc80),library(logicmoo_test),'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',user,[if(not_loaded),must_be_module(true)]),_1128,system: $mt_end_load(<gt;clause>(0x561047a1cc80))) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646
ERROR:      [42] <gt;meta call>
ERROR:      [41] $sig_atomic(setup_call_cleanup(with_mutex($load_file,$mt_start_load('/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',<gt;clause>(0x561047a1cc80),[if(not_loaded),must_be_module(true)])),$mt_do_load(<gt;clause>(0x561047a1cc80),library(logicmoo_test),'/var/lib/jenkins/.local/share/swi-prolog/pack/logicmoo_utils/prolog/logicmoo_test.pl',user,[if(not_loaded),must_be_module(true)]),$mt_end_load(<gt;clause>(0x561047a1cc80)))) <gt;foreign>
ERROR:      [38] $load_file(library(logicmoo_test),user,[if(not_loaded),must_be_module(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2355
ERROR:      [33] catch(user:use_module(library(logicmoo_test)),error(_1450,_1452),system: $exception_in_directive(error(_1466,_1468))) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:546
ERROR:      [32] $execute_directive_3(use_module(library(logicmoo_test))) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3574
ERROR:      [26] $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',_1528,[expand(false),expand(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:3007
ERROR:      [25] setup_call_catcher_cleanup(system: $start_consult('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',1632573820.1932466),system: $load_file('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',_1606,[expand(false),expand(true)]),_1578,system: $end_consult('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',lexstate(202,swi),user)) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:646
ERROR:      [21] $do_load_file_2('attvar_03.pfc','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',user,compiled,[expand(false),expand(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2592
ERROR:      [18] $qdo_load_file('attvar_03.pfc','/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',user,[expand(false),expand(true)]) at /var/lib/jenkins/workspace/logicmoo_workspace/lib/swipl/boot/init.pl:2547
ERROR:      [16] setup_call_catcher_cleanup(system:with_mutex($load_file,$mt_start_load('/var/lib/jenkins/workspace/logicmoo_workspace/packs_sys/pfc/t/sanity_base/attvar_03.pfc',<gt;clause>(0x561047a1cb00),[expand(false),expand(true)])),system: $mt_do_load(<gt;clause>(0x561047a1cb00),'attvar_03.pfc','/var/lib/jenkins/workspace/logicm
goal=user:(sk_in(_25274),get_attr(_25274,sk,_25288),_25288='SKF-666').
time=0.0006353855133056641.
failure=failure=info((why_was_true(user:(\+ (sk_in(_93060),get_attr(_93060,sk,_93082),_93082='SKF-666'))),nop(ftrace(user:(sk_in(_93060),get_attr(_93060,sk,_93082),_93082='SKF-666')))))
no_proof_for(\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')).

no_proof_for(\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')).

no_proof_for(\+ (sk_in(In_Sk),get_attr(In_Sk,sk,Attr_SKF_666),Attr_SKF_666='SKF-666')).

result=failure.