:- include(sanity_tests).

:- use_module(library(attvar_reader)).

:- read_attvars(false).

test(0):- 
  deserialize_attvars(sk_in(avar([vn='Ex'], [sk='SKF-666'])),O),
  copy_term(O,OO,PP),display(O),nl,display(OO),nl,display(PP),nl.

:- read_attvars(true).

test(2):- 
  deserialize_attvars(sk_in(avar([vn='Ex'], [sk='SKF-666'])),O),
  copy_term(O,OO,PP),display(O),nl,display(OO),nl,display(PP),nl.

:- read_attvars(false).