text: :- module existential_error1.
  
  :- pragma termination_info(existential_error1.deconstruct_univ((builtin.in), (builtin.out)), infinite, cannot_loop).
  
  :- pragma termination2_info(existential_error1.deconstruct_univ((builtin.in), (builtin.out)), constraints([le([term(1, r(-1, 1))], r(-1, 1))]), not_set, can_loop).
  