Dragonfly M-C graphs for symbolic analysis of current-conveyor circuits