An empirical study on TensorFlow program bugs | Synapse