@Override
  public CheckTypesResult checkExprTypeBounds() {
    CheckTypesResult result = new CheckTypesResult();

    if (exitType == EXIT_RETURN && retType.getType() != CodeConstants.TYPE_VOID) {
      result.addMinTypeExprent(value, VarType.getMinTypeInFamily(retType.getTypeFamily()));
      result.addMaxTypeExprent(value, retType);
    }

    return result;
  }
@Override
  public CheckTypesResult checkExprTypeBounds()