fininished boolean circuit evaluation rewriting