Create VariableElimination.fs