Rename symbolic_execution.org to symbolic_execution.txt