* @param stateMachine
* as the stateMachine to save the results in
*/
private void handlePlug(Stmt st, Body body, StateMachine stateMachine) {
assert (st.containsInvokeExpr());
PlugDetector detector = new PlugDetector(st.getInvokeExpr(), st, body);
if (detector.isPlug()) {
Plugging plugging = makePlugging((AssignStmt) st, body, detector);
if (plugging != null)
stateMachine.addPlugging(plugging);
}
}