Program before identification: Let a IntType 10 b BoolType BinOpApp a [()] Less 2 If b [()] a [()] 42 Program after identification: Let a IntType 10 b BoolType BinOpApp a [(1,IntType)] Less 2 If b [(1,BoolType)] a [(1,IntType)] 42 Error Messages: