BREAK_Speed ()
{
  float GV_MASTER_CLMAP_FORCE.0_1;
  float Cur_CLMAP_FORCE.1_2;
  int BREAK_Speed_limit.5_3;
  float _4;
  float _5;
  float Cur_CLMAP_FORCE.8_6;
  int BREAK_Speed_limit.10_7;
  float _8;
  float _9;

  <bb 2> [local count: 1073741824]:
  # DEBUG BEGIN_STMT
  GV_MASTER_CLMAP_FORCE.0_1 = GV_MASTER_CLMAP_FORCE;
  Cur_CLMAP_FORCE.1_2 = Cur_CLMAP_FORCE;
  if (GV_MASTER_CLMAP_FORCE.0_1 != Cur_CLMAP_FORCE.1_2)
    goto <bb 3>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 3> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  if (GV_MASTER_CLMAP_FORCE.0_1 < Cur_CLMAP_FORCE.1_2)
    goto <bb 4>; [50.00%]
  else
    goto <bb 5>; [50.00%]

  <bb 4> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  BREAK_Speed_limit.5_3 = BREAK_Speed_limit;
  _4 = (float) BREAK_Speed_limit.5_3;
  _5 = Cur_CLMAP_FORCE.1_2 - _4;
  Cur_CLMAP_FORCE = _5;
  # DEBUG BEGIN_STMT
  GV_BrakeTorqueCommand = _5;
  # DEBUG BEGIN_STMT
  GV_RCU_BrakeTorqueCommand = _5;

  <bb 5> [local count: 536870913]:
  # DEBUG BEGIN_STMT
  Cur_CLMAP_FORCE.8_6 = Cur_CLMAP_FORCE;
  if (GV_MASTER_CLMAP_FORCE.0_1 > Cur_CLMAP_FORCE.8_6)
    goto <bb 6>; [50.00%]
  else
    goto <bb 7>; [50.00%]

  <bb 6> [local count: 268435456]:
  # DEBUG BEGIN_STMT
  BREAK_Speed_limit.10_7 = BREAK_Speed_limit;
  _8 = (float) BREAK_Speed_limit.10_7;
  _9 = Cur_CLMAP_FORCE.8_6 + _8;
  Cur_CLMAP_FORCE = _9;
  # DEBUG BEGIN_STMT
  GV_BrakeTorqueCommand = _9;
  # DEBUG BEGIN_STMT
  GV_RCU_BrakeTorqueCommand = _9;

  <bb 7> [local count: 1073741824]:
  return;

}