A small circuit analyser built in PLT Scheme