Type system bug with debug mode compilation

loader.lgt

:- initialization((
	logtalk_load([meta(loader), types(loader), debugger(loader)], [debug(on)]),
	logtalk_load([simpletypes, parametric], [debug(on)])
)).

parametric.lgt

:- object(t1(_ListOfT2s_, _SomeId_)).
	
:- end_object.

:- object(t2(_SomeParameter_)).
	
:- end_object.

simpletypes.lgt

:- category(simpletypes).

	:- multifile(type::type/1).
	type::type(t1).
	type::type(t2).

	:- multifile(type::check/2).
	type::check(t1, Term) :-
		check_t1(Term).
	type::check(t2, Term) :-
		check_t2(Term).

	check_t1(Term) :-
		Term = t1(ListOfT2s, Id),
		type::check(atomic, Id),
		type::check(
			property(non_empty_list(object), [T2s]>>(
				meta::map([T2]>>(
					type::check(t2, T2)	
				), T2s)	
			)
		), ListOfT2s).

	check_t2(Term) :-
		Term = t2(Param),
		type::check(atomic, Param).

:- end_category.

Here's how to reproduce the bug

?- Term = t1([t2(aaa), t2(bbb)], ccc), type::check(t1, Term).
false.

?- debugger::trace.
true.

?- Term = t1([t2(aaa), t2(bbb)], ccc), type::check(t1, Term).
   Rule: (0) type::check(t1,t1([t2(aaa),t2(bbb)],ccc)) ? s
Term = t1([t2(aaa), t2(bbb)], ccc).

If we change the loader to (by commenting out the the debug(on) options of the logtalk_load/2 predicate):

:- initialization((
	logtalk_load([meta(loader), types(loader), debugger(loader)], [/* debug(on) */]),
	logtalk_load([simpletypes, parametric], [/* debug(on) */])
)).

The query works as expected:

?- Term = t1([t2(aaa), t2(bbb)], ccc), type::check(t1, Term).
Term = t1([t2(aaa), t2(bbb)], ccc).

Note that in this case we use no SWI-Prolog specific features like dicts.