bound
INSTANCE bound#1;
extracted_from = {binary_operation#2};
kind = lower;
inclusive = true;
discrete = true;
variable = explicit_attribute#85;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#2;
extracted_from = {binary_operation#3};
kind = lower;
inclusive = true;
discrete = true;
variable = explicit_attribute#86;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#3;
extracted_from = {binary_operation#4};
kind = lower;
inclusive = false;
discrete = true;
variable = explicit_attribute#87;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#4;
extracted_from = {binary_operation#5};
kind = lower;
inclusive = false;
discrete = true;
variable = explicit_attribute#88;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#5;
extracted_from = {binary_operation#6};
kind = upper;
inclusive = true;
discrete = true;
variable = explicit_attribute#89;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#6;
extracted_from = {binary_operation#7};
kind = upper;
inclusive = true;
discrete = true;
variable = explicit_attribute#90;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#7;
extracted_from = {binary_operation#8};
kind = upper;
inclusive = false;
discrete = true;
variable = explicit_attribute#91;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#8;
extracted_from = {binary_operation#9};
kind = upper;
inclusive = true;
discrete = true;
variable = explicit_attribute#92;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#9;
extracted_from = {binary_operation#10};
kind = lower;
inclusive = true;
discrete = false;
variable = explicit_attribute#93;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#10;
extracted_from = {binary_operation#11};
kind = lower;
inclusive = true;
discrete = false;
variable = explicit_attribute#94;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#11;
extracted_from = {binary_operation#12};
kind = lower;
inclusive = false;
discrete = false;
variable = explicit_attribute#95;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#12;
extracted_from = {binary_operation#13};
kind = lower;
inclusive = false;
discrete = false;
variable = explicit_attribute#96;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#13;
extracted_from = {binary_operation#14};
kind = upper;
inclusive = true;
discrete = false;
variable = explicit_attribute#97;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#14;
extracted_from = {binary_operation#15};
kind = upper;
inclusive = true;
discrete = false;
variable = explicit_attribute#98;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#15;
extracted_from = {binary_operation#16};
kind = upper;
inclusive = false;
discrete = false;
variable = explicit_attribute#99;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#16;
extracted_from = {binary_operation#17};
kind = upper;
inclusive = false;
discrete = false;
variable = explicit_attribute#100;
limit = ?limit;
END_INSTANCE;
INSTANCE bound#17;
kind = lower;
variable = ?variable;
END_INSTANCE;
INSTANCE bound#18;
kind = upper;
variable = ?variable;
END_INSTANCE;