<commit_before>
/*@ foo :: /\ () => {void | true}            
           /\ (lo: {number | 0 <= v}) => {void | true} */
function foo(lo?: number) 
{
  if (arguments.length < 1)
    lo = 0;

  var lo1 = <number>lo;

  assert(0 < lo1);
}<commit_msg>Restoring test<commit_after>
/*@ foo :: /\ () => {void | true}            
           /\ (l: {number | 0 <= v}) => {void | true} */
function foo(l?: number) 
{

  /*@ local loc :: number + undefined */
  var loc = l;

  if (arguments.length < 1) {

    /*@ local zero :: number + undefined */
    var zero = -1;
    loc = zero;
  }

  var l1 = <number>loc;

  assert(0 <= l1);
}
{'fraction_non_alphanumeric': 0.2112, 'fraction_numerical': 0.0192, 'mean_word_length': 1.8981481481481481, 'pattern_counts': {'":': 0, '<': 11, '<?xml version=': 0, '>': 9, 'https://': 0, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '5299224', 'n_tokens_mistral': 242, 'n_tokens_neox': 224, 'n_words': 61}