:- use_module(execute_test).
:- use_module(library(lists)).
:- use_module(library(occurs)).
:- use_module(library(refactor)).
:- use_module(library(substitute)).
:- use_module(library(comment_data)).

:- comment_data:enable.
:- set_setting(listing:tab_distance, 0). % Use only spaces, no tabs