Search for a command to run...
FACET: PRESERVING SOURCE INTENT AND EXECUTABLE STATE IN TERMINAL TASK SYNTHESIS