Add OBSERV to emitted functions