If, for example, the check whether an input signal shows GO is to be outsourced to a separate function, a function must be specified via the ObservableProxy attribute that manually incrementalizes ...