Run a procedure in ElectricFlow.