Add initial (dummy) propagateState function.