For gate evaluation, factored simpler constant propagations out of protocol-specific callbacks
For gate evaluation, factored simpler constant propagations out of protocol-specific callbacks

samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c,samuelhavron/obliv-c