Colored circuit abstraction