Program before identification:

Let
  a
    IntType
    1
  b
    IntType
    BinOpApp
      c [()]
      Times
      2
  a
    BoolType
    BinOpApp
      a [()]
      Less
      1
  BinOpApp
    a [()]
    Plus
    b [()]


Program after identification:

Let
  a
    IntType
    1
  b
    IntType
    BinOpApp
      c [(0,UnknownType)]
      Times
      2
  a
    BoolType
    BinOpApp
      a [(1,IntType)]
      Less
      1
  BinOpApp
    a [(1,IntType)]
    Plus
    b [(1,IntType)]


Error Messages:
Variable c is not defined.
Variable a is alreday defined at this level (1).