CircuitPresenter: reorder wires’ soruce/destination pairs
refactor FunctionSimplifier a bit