Handle infer/result instructions