INSTANCE return_statement#2; return_value = conjunction#5; END_INSTANCE;
INSTANCE return_statement#3; return_value = conjunction#6; END_INSTANCE;