trying to implement circuit symbolic analysis via topology