Automatic Function Behavior Graphs