ground_variables([]).
ordered_variables([first, second, third, fourth]).
shared_variables_first([first, second]).
shared_variables_second([first, second]).
prefilled_variables.