use_module(_) :- true.
style_check(_) :- true.