Any probe heating issue would have been flagged by the PHC's. (PROBE HEAT CONTROLLERS) They are able to determine whether a probe is being heated or not.
Any issue with probe heat and you would have a different selection of messages although there would be some overlap.
The probes have their own independent PHC.
Manual autopilot disconnects are logged on acars as well just in case some haven't seen post #915