kibi-swipl-linux-x64-gnu 1.0.0

package/lib/swipl/library/ext/chr/chr/chr_compiler_errors.pl

@@ -0,0 +1,179 @@
+/*  Part of CHR (Constraint Handling Rules)
+
+    Author:        Tom Schrijvers
+    E-mail:        Tom.Schrijvers@cs.kuleuven.be
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2005-2011, K.U. Leuven
+    All rights reserved.
+
+    Redistribution and use in source and binary forms, with or without
+    modification, are permitted provided that the following conditions
+    are met:
+
+    1. Redistributions of source code must retain the above copyright
+       notice, this list of conditions and the following disclaimer.
+
+    2. Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in
+       the documentation and/or other materials provided with the
+       distribution.
+
+    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+    POSSIBILITY OF SUCH DAMAGE.
+*/
+
+:- module(chr_compiler_errors,
+		[
+			chr_info/3,
+			chr_warning/3,
+			chr_error/3,
+			print_chr_error/1
+		]).
+
+:- use_module(chr_compiler_options).
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% chr_info(+Type,+FormattedMessage,+MessageParameters)
+
+chr_info(_,Message,Params) :-
+	( \+verbosity_on ->
+		true
+	;
+		long_line_with_equality_signs,
+		format(user_error,'CHR compiler:\n',[]),
+		format(user_error,Message,Params),
+		long_line_with_equality_signs
+	).
+
+
+%% SWI begin
+verbosity_on :-
+	current_prolog_flag(verbose,V), V \== silent,
+	current_prolog_flag(verbose_load,true).
+%% SWI end
+
+%% SICStus begin
+%% verbosity_on.  % at the moment
+%% SICStus end
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% chr_warning(+Type,+FormattedMessage,+MessageParameters)
+
+chr_warning(deprecated(Term),Message,Params) :- !,
+	long_line_with_equality_signs,
+	format(user_error,'CHR compiler WARNING: deprecated syntax      ~w.\n',[Term]),
+	format(user_error,'    `--> ',[]),
+	format(user_error,Message,Params),
+        format(user_error,'    Support for deprecated syntax will be discontinued in the near future!\n',[]),
+	long_line_with_equality_signs.
+
+chr_warning(internal,Message,Params) :- !,
+	long_line_with_equality_signs,
+	format(user_error,'CHR compiler WARNING: something unexpected happened in the CHR compiler.\n',[]),
+	format(user_error,'    `--> ',[]),
+	format(user_error,Message,Params),
+        format(user_error,'    Your program may not have been compiled correctly!\n',[]),
+        format(user_error,'    Please contact tom.schrijvers@cs.kuleuven.be.\n',[]),
+	long_line_with_equality_signs.
+
+chr_warning(unsupported_pragma(Pragma,Rule),Message,Params) :- !,
+	long_line_with_equality_signs,
+	format(user_error,'CHR compiler WARNING: unsupported pragma ~w in ~@.\n',[Pragma,format_rule(Rule)]),
+	format(user_error,'    `--> ',[]),
+	format(user_error,Message,Params),
+        format(user_error,'    Pragma is ignored!\n',[]),
+	long_line_with_equality_signs.
+chr_warning(problem_pragma(Pragma,Rule),Message,Params) :- !,
+	long_line_with_equality_signs,
+	format(user_error,'CHR compiler WARNING: unsupported pragma ~w in ~@.\n',[Pragma,format_rule(Rule)]),
+	format(user_error,'    `--> ',[]),
+	format(user_error,Message,Params),
+	long_line_with_equality_signs.
+
+chr_warning(_,Message,Params) :-
+	( chr_pp_flag(verbosity,on) ->
+		long_line_with_equality_signs,
+		format(user_error,'CHR compiler WARNING:\n',[]),
+		format(user_error,'    `--> ',[]),
+		format(user_error,Message,Params),
+		long_line_with_equality_signs
+	;
+		true
+	).
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% chr_error(+Type,+FormattedMessage,+MessageParameters)
+
+chr_error(Type,Message,Params) :-
+	throw(chr_error(error(Type,Message,Params))).
+
+print_chr_error(error(Type,Message,Params)) :-
+	print_chr_error(Type,Message,Params).
+
+print_chr_error(syntax(Term),Message,Params) :- !,
+	long_line_with_equality_signs,
+	format(user_error,'CHR compiler ERROR: invalid syntax "~w".\n',[Term]),
+	format(user_error,'    `--> ',[]),
+	format(user_error,Message,Params),
+	long_line_with_equality_signs.
+
+print_chr_error(type_error,Message,Params) :- !,
+	long_line_with_equality_signs,
+	format(user_error,'CHR compiler TYPE ERROR:\n',[]),
+	format(user_error,'    `--> ',[]),
+	format(user_error,Message,Params),
+	long_line_with_equality_signs.
+
+print_chr_error(internal,Message,Params) :- !,
+	long_line_with_equality_signs,
+	format(user_error,'CHR compiler ERROR: something unexpected happened in the CHR compiler.\n',[]),
+	format(user_error,'    `--> ',[]),
+	format(user_error,Message,Params),
+        format(user_error,'    Please contact tom.schrijvers@cs.kuleuven.be.\n',[]),
+	long_line_with_equality_signs.
+
+print_chr_error(cyclic_alias(Alias),_Message,_Params) :- !,
+	long_line_with_equality_signs,
+	format(user_error,'CHR compiler ERROR: cyclic alias "~w".\n',[Alias]),
+	format(user_error,'    `--> Aborting compilation.\n',[]),
+	long_line_with_equality_signs.
+
+print_chr_error(_,Message,Params) :-
+	long_line_with_equality_signs,
+	format(user_error,'CHR compiler ERROR:\n',[]),
+	format(user_error,'    `--> ',[]),
+	format(user_error,Message,Params),
+	long_line_with_equality_signs.
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+
+
+:- public
+	format_rule/1.			% called using format/3 `@'
+
+format_rule(PragmaRule) :-
+	PragmaRule = pragma(_,_,Pragmas,MaybeName,N),
+	( MaybeName = yes(Name) ->
+		write('rule '), write(Name)
+	;
+		write('rule number '), write(N)
+	),
+	( memberchk(source_location(SourceLocation),Pragmas) ->
+		write(' at '),
+		write(SourceLocation)
+	;
+		true
+	).
+
+long_line_with_equality_signs :-
+	format(user_error,'================================================================================\n',[]).

package/lib/swipl/library/ext/chr/chr/chr_compiler_options.pl

@@ -0,0 +1,382 @@
+/*  Part of CHR (Constraint Handling Rules)
+
+    Author:        Tom Schrijvers
+    E-mail:        Tom.Schrijvers@cs.kuleuven.be
+    WWW:           http://www.swi-prolog.org
+    Copyright (c)  2005-2011, K.U. Leuven
+    All rights reserved.
+
+    Redistribution and use in source and binary forms, with or without
+    modification, are permitted provided that the following conditions
+    are met:
+
+    1. Redistributions of source code must retain the above copyright
+       notice, this list of conditions and the following disclaimer.
+
+    2. Redistributions in binary form must reproduce the above copyright
+       notice, this list of conditions and the following disclaimer in
+       the documentation and/or other materials provided with the
+       distribution.
+
+    THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
+    "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
+    LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS
+    FOR A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE
+    COPYRIGHT OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT,
+    INCIDENTAL, SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING,
+    BUT NOT LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES;
+    LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER
+    CAUSED AND ON ANY THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT
+    LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN
+    ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE
+    POSSIBILITY OF SUCH DAMAGE.
+*/
+
+:- module(chr_compiler_options,
+	[ handle_option/2
+	, init_chr_pp_flags/0
+	, chr_pp_flag/2
+	]).
+	
+%% SICStus begin
+%% :- use_module(hprolog, [nb_setval/2,nb_getval/2]).
+%% local_current_prolog_flag(_,_) :- fail.
+%% SICStus end
+
+%% SWI begin
+local_current_prolog_flag(X,Y) :- current_prolog_flag(X,Y).
+%% SWI end
+
+
+:- use_module(chr_compiler_errors).
+
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
+% Global Options
+%
+
+handle_option(Name,Value) :-
+	var(Name), !,
+	chr_error(syntax((:- chr_option(Name,Value))),'First argument should be an atom, not a variable.\n',[]).
+
+handle_option(Name,Value) :-
+	var(Value), !,
+	chr_error(syntax((:- chr_option(Name,Value))),'Second argument cannot be a variable.\n',[]).
+
+handle_option(Name,Value) :-
+	option_definition(Name,Value,Flags),
+	!,
+	set_chr_pp_flags(Flags).
+
+handle_option(Name,Value) :-
+	\+ option_definition(Name,_,_), !,
+	chr_error(syntax((:- chr_option(Name,Value))),'Invalid option name ~w: consult the manual for valid options.\n',[Name]).
+
+handle_option(Name,Value) :-
+	chr_error(syntax((:- chr_option(Name,Value))),'Invalid option value ~w: consult the manual for valid option values.\n',[Value]).
+
+option_definition(optimize,experimental,Flags) :-
+	Flags = [ functional_dependency_analysis  - on,
+                  check_unnecessary_active - full,
+		  reorder_heads		   - on,
+		  set_semantics_rule	   - on,
+		  storage_analysis	   - on,
+		  guard_via_reschedule     - on,
+		  guard_simplification	   - on,
+		  check_impossible_rules   - on,
+		  occurrence_subsumption   - on,
+		  observation_analysis	   - on,
+		  ai_observation_analysis  - on,
+		  late_allocation	   - on,
+		  reduced_indexing	   - on,
+		  term_indexing		   - on,
+                  inline_insertremove      - on,
+		  mixed_stores		   - on
+		].
+option_definition(optimize,full,Flags) :-
+	Flags = [ functional_dependency_analysis  - on,
+                  check_unnecessary_active - full,
+		  reorder_heads		   - on,
+		  set_semantics_rule	   - on,
+		  storage_analysis	   - on,
+		  guard_via_reschedule     - on,
+		  guard_simplification	   - on,
+		  check_impossible_rules   - on,
+		  occurrence_subsumption   - on,
+		  observation_analysis	   - on,
+		  ai_observation_analysis  - on,
+		  late_allocation	   - on,
+		  reduced_indexing	   - on,
+                  inline_insertremove      - on,
+		  mixed_stores		   - off,
+		  debugable		   - off
+		].
+
+option_definition(optimize,off,Flags) :-
+	Flags = [ functional_dependency_analysis  - off,
+                  check_unnecessary_active - off,
+		  reorder_heads		   - off,
+		  set_semantics_rule	   - off,
+		  storage_analysis	   - off,
+		  guard_via_reschedule     - off,
+		  guard_simplification	   - off,
+		  check_impossible_rules   - off,
+		  occurrence_subsumption   - off,
+		  observation_analysis     - off,
+		  ai_observation_analysis  - off,
+		  late_allocation	   - off,
+		  reduced_indexing	   - off
+		].
+
+option_definition(functional_dependency_analysis,on,Flags) :-
+	Flags = [ functional_dependency_analysis - on ].
+option_definition(functional_dependency_analysis,off,Flags) :-
+	Flags = [ functional_dependency_analysis - off ].
+
+option_definition(set_semantics_rule,on,Flags) :-
+	Flags = [ set_semantics_rule - on ].
+option_definition(set_semantics_rule,off,Flags) :-
+	Flags = [ set_semantics_rule - off ].
+
+option_definition(check_unnecessary_active,full,Flags) :-
+	Flags = [ check_unnecessary_active - full ].
+option_definition(check_unnecessary_active,simplification,Flags) :-
+	Flags = [ check_unnecessary_active - simplification ].
+option_definition(check_unnecessary_active,off,Flags) :-
+	Flags = [ check_unnecessary_active - off ].
+
+option_definition(check_guard_bindings,on,Flags) :-
+	Flags = [ guard_locks - on ].
+option_definition(check_guard_bindings,off,Flags) :-
+	Flags = [ guard_locks - off ].
+option_definition(check_guard_bindings,error,Flags) :-
+	Flags = [ guard_locks - error ].
+
+option_definition(reduced_indexing,on,Flags) :-
+	Flags = [ reduced_indexing - on ].
+option_definition(reduced_indexing,off,Flags) :-
+	Flags = [ reduced_indexing - off ].
+
+option_definition(storage_analysis,on,Flags) :-
+	Flags = [ storage_analysis - on ].
+option_definition(storage_analysis,off,Flags) :-
+	Flags = [ storage_analysis - off ].
+
+option_definition(guard_simplification,on,Flags) :-
+	Flags = [ guard_simplification - on ].
+option_definition(guard_simplification,off,Flags) :-
+	Flags = [ guard_simplification - off ].
+
+option_definition(check_impossible_rules,on,Flags) :-
+	Flags = [ check_impossible_rules - on ].
+option_definition(check_impossible_rules,off,Flags) :-
+	Flags = [ check_impossible_rules - off ].
+
+option_definition(occurrence_subsumption,on,Flags) :-
+	Flags = [ occurrence_subsumption - on ].
+option_definition(occurrence_subsumption,off,Flags) :-
+	Flags = [ occurrence_subsumption - off ].
+
+option_definition(late_allocation,on,Flags) :-
+	Flags = [ late_allocation - on ].
+option_definition(late_allocation,off,Flags) :-
+	Flags = [ late_allocation - off ].
+
+option_definition(inline_insertremove,on,Flags) :-
+	Flags = [ inline_insertremove - on ].
+option_definition(inline_insertremove,off,Flags) :-
+	Flags = [ inline_insertremove - off ].
+
+option_definition(type_definition,TypeDef,[]) :-
+	( nonvar(TypeDef) ->
+	TypeDef = type(T,D),
+	chr_translate:type_definition(T,D)
+	; true).
+option_definition(type_declaration,TypeDecl,[]) :-
+	( nonvar(TypeDecl) ->
+	functor(TypeDecl,F,A),
+	TypeDecl =.. [_|ArgTypes],
+	chr_translate:constraint_type(F/A,ArgTypes)
+	; true).
+	
+option_definition(mode,ModeDecl,[]) :-
+	( nonvar(ModeDecl) ->
+	functor(ModeDecl,F,A),
+	ModeDecl =.. [_|ArgModes],
+	chr_translate:constraint_mode(F/A,ArgModes)
+	; true).
+option_definition(store,FA-Store,[]) :-
+	chr_translate:store_type(FA,Store).
+
+%------------------------------------------------------------------------------%
+option_definition(declare_stored_constraints,off,[declare_stored_constraints-off]).
+option_definition(declare_stored_constraints,on ,[declare_stored_constraints-on]).
+
+option_definition(stored,F/A,[]) :-
+	chr_translate:stored_assertion(F/A).
+%------------------------------------------------------------------------------%
+option_definition(experiment,off,[experiment-off]).
+option_definition(experiment,on,[experiment-on]).
+option_definition(experimental,off,[experiment-off]).
+option_definition(experimental,on,[experiment-on]).
+option_definition(sss,off,[sss-off]).
+option_definition(sss,on,[sss-on]).
+%------------------------------------------------------------------------------%
+option_definition(debug,off,Flags) :-
+        option_definition(optimize,full,Flags2),
+        Flags = [ debugable - off | Flags2].
+option_definition(debug,on,Flags) :-
+	( local_current_prolog_flag(generate_debug_info,false) ->
+		% TODO: should not be allowed when nodebug flag is set in SWI-Prolog
+		chr_warning(any,':- chr_option(debug,on) inconsistent with current_prolog_flag(generate_debug_info,off\n\tCHR option is ignored!\n)',[]),
+		Flags = []
+	;
+       		Flags = [ debugable - on ]
+	).
+
+option_definition(store_counter,off,[]).
+option_definition(store_counter,on,[store_counter-on]).
+
+option_definition(observation,off,Flags) :-
+	Flags = [
+			observation_analysis - off,
+			ai_observation_analysis - off,
+			late_allocation - off,
+			storage_analysis - off
+		].
+option_definition(observation,on,Flags) :-
+	Flags = [
+			observation_analysis - on,
+			ai_observation_analysis - on
+		].
+option_definition(observation,regular,Flags) :-
+	Flags = [
+			observation_analysis - on,
+			ai_observation_analysis - off
+		].
+option_definition(observation,ai,Flags) :-
+	Flags = [
+			observation_analysis - off,
+			ai_observation_analysis - on
+		].
+
+option_definition(store_in_guards, on, [store_in_guards - on]).
+option_definition(store_in_guards, off, [store_in_guards - off]).
+
+option_definition(solver_events,NMod,Flags) :-
+	Flags =	[solver_events - NMod].
+
+option_definition(toplevel_show_store,on,Flags) :-
+	Flags = [toplevel_show_store - on].
+
+option_definition(toplevel_show_store,off,Flags) :-
+	Flags = [toplevel_show_store - off].
+
+option_definition(term_indexing,on,Flags) :-
+	Flags = [term_indexing - on].
+option_definition(term_indexing,off,Flags) :-
+	Flags = [term_indexing - off].
+
+option_definition(verbosity,on,Flags) :-
+	Flags = [verbosity - on].
+option_definition(verbosity,off,Flags) :-
+	Flags = [verbosity - off].
+
+option_definition(ht_removal,on,Flags) :-
+	Flags = [ht_removal - on].
+option_definition(ht_removal,off,Flags) :-
+	Flags = [ht_removal - off].
+
+option_definition(mixed_stores,on,Flags) :-
+	Flags = [mixed_stores - on].
+option_definition(mixed_stores,off,Flags) :-
+	Flags = [mixed_stores - off].	
+
+option_definition(line_numbers,on,Flags) :-
+	Flags = [line_numbers - on].
+option_definition(line_numbers,off,Flags) :-
+	Flags = [line_numbers - off].
+
+option_definition(dynattr,on,Flags) :-
+	Flags = [dynattr - on].
+option_definition(dynattr,off,Flags) :-
+	Flags = [dynattr - off].
+
+option_definition(verbose,off,[verbose-off]).
+option_definition(verbose,on,[verbose-on]).
+
+option_definition(dump,off,[dump-off]).
+option_definition(dump,on,[dump-on]).
+
+init_chr_pp_flags :-
+	chr_pp_flag_definition(Name,[DefaultValue|_]),
+	set_chr_pp_flag(Name,DefaultValue),
+	fail.
+init_chr_pp_flags.		
+
+set_chr_pp_flags([]).
+set_chr_pp_flags([Name-Value|Flags]) :-
+	set_chr_pp_flag(Name,Value),
+	set_chr_pp_flags(Flags).
+
+set_chr_pp_flag(Name,Value) :-
+	atom_concat('$chr_pp_',Name,GlobalVar),
+	nb_setval(GlobalVar,Value).
+
+chr_pp_flag_definition(functional_dependency_analysis,[off,on]).
+chr_pp_flag_definition(check_unnecessary_active,[off,full,simplification]).
+chr_pp_flag_definition(reorder_heads,[off,on]).
+chr_pp_flag_definition(set_semantics_rule,[off,on]).
+chr_pp_flag_definition(guard_via_reschedule,[off,on]).
+chr_pp_flag_definition(guard_locks,[on,off,error]).
+chr_pp_flag_definition(storage_analysis,[off,on]).
+chr_pp_flag_definition(debugable,[on,off]).
+chr_pp_flag_definition(reduced_indexing,[off,on]).
+chr_pp_flag_definition(observation_analysis,[off,on]).
+chr_pp_flag_definition(ai_observation_analysis,[off,on]).
+chr_pp_flag_definition(store_in_guards,[off,on]).
+chr_pp_flag_definition(late_allocation,[off,on]).
+chr_pp_flag_definition(store_counter,[off,on]).
+chr_pp_flag_definition(guard_simplification,[off,on]).
+chr_pp_flag_definition(check_impossible_rules,[off,on]).
+chr_pp_flag_definition(occurrence_subsumption,[off,on]).
+chr_pp_flag_definition(observation,[off,on]).
+chr_pp_flag_definition(show,[off,on]).
+chr_pp_flag_definition(inline_insertremove,[on,off]).
+chr_pp_flag_definition(solver_events,[none,_]).
+chr_pp_flag_definition(toplevel_show_store,[on,off]).
+chr_pp_flag_definition(term_indexing,[off,on]).
+chr_pp_flag_definition(verbosity,[on,off]).
+chr_pp_flag_definition(ht_removal,[off,on]).
+chr_pp_flag_definition(mixed_stores,[on,off]).
+chr_pp_flag_definition(line_numbers,[off,on]).
+chr_pp_flag_definition(dynattr,[off,on]).
+chr_pp_flag_definition(experiment,[off,on]).
+chr_pp_flag_definition(sss,[off,on]).
+	% emit compiler inferred code
+chr_pp_flag_definition(verbose,[off,on]).
+	% emit input code and output code
+chr_pp_flag_definition(dump,[off,on]).
+
+chr_pp_flag_definition(declare_stored_constraints,[off,on]).
+
+chr_pp_flag(Name,Value) :-
+	atom_concat('$chr_pp_',Name,GlobalVar),
+	nb_getval(GlobalVar,V),
+	( V == [] ->
+		chr_pp_flag_definition(Name,[Value|_])
+	;
+		V = Value
+	).
+	
+
+% TODO: add whatever goes wrong with (debug,on), (optimize,full) combo here!
+% trivial example of what does go wrong:
+%	b <=> true.
+% !!!
+sanity_check :-
+	chr_pp_flag(store_in_guards, on),
+	chr_pp_flag(ai_observation_analysis, on),
+	chr_warning(any, 'ai_observation_analysis should be turned off when using store_in_guards\n', []),
+	fail.
+sanity_check.
+%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%