Quadruples generation finished, new file for VM