added traditional self-adjusting computation library for bidirectional incremental propagation