[quandary] Split exec_instr
[quandary] Split exec_instr

Reviewed By: ngorogiannis

Differential Revision: D13465603

fbshipit-source-id: 02799eec4

facebook/infer,facebook/infer,facebook/infer,facebook/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer,jvillard/infer,facebook/infer,facebook/infer,jvillard/infer,facebook/infer,jvillard/infer