Create variable_elimination.h