It might be an optimization going on, if the first pin for the OR node is already true, it won’t even evaluate the other two pins and therefore their value might be old ones. My hint is to change the pin’s order putting the first by last and see if it changes behavior.