:- module dds3_17.
:- pragma termination_info(dds3_17.dis((builtin.in)), finite(0, [no]), cannot_loop).
:- pragma termination_info(dds3_17.con((builtin.in)), finite(0, [no]), cannot_loop).
:- pragma termination2_info(dds3_17.dis((builtin.in)), constraints([]), not_set, cannot_loop).
:- pragma termination2_info(dds3_17.con((builtin.in)), constraints([]), not_set, cannot_loop).
