adding directory for SATforGPU tests and adding the edge-terminated parser (non-functionnal and still function to be parsed)