a stub of the tool to apply substitutions to dimacs formulas