anchor.diff:  no_var_size({var, _, _}) -> throw(unbound_size);
   no_var_size(Size) -> Size.
   
  -build_comprehension(Ann, Clauses, Expr, false) ->
  -  {lc, Ann, Expr, comprehension_clause(Clauses)};
   build_comprehension(Ann, Clauses, Expr, Into) ->
     {comprehension_kind(Into), Ann, Expr, comprehension_clause(Clauses)}.
   
  
positive.code: comprehension_clause([]) ->
    [].
  
  comprehension_kind({nil, _}) -> lc;
  comprehension_kind({bin, _, []}) -> bc.
  
  comprehension_generator(enum) -> generate;
  comprehension_generator(bin) -> b_generate.
  
  comprehension_expr({bin, _, []}, {bin, _, _} = Expr) ->
    {inline, Expr};
  comprehension_expr({bin, Ann, []}, Expr) ->
    BinExpr = {bin, Ann, [{bin_element, Ann, Expr, default, [bitstring]}]},
    {inline, BinExpr};
  comprehension_expr({nil, _}, Expr) ->
    {inline, Expr};
  comprehension_expr(false, Expr) ->
    {inline, Expr};
  comprehension_expr(_, Expr) ->
    {into, Expr}.
  
  comprehension_filter(Ann, Filters) ->
    [join_filter(Ann, Filter, {atom, Ann, true}, {atom, Ann, false}) ||
  
negative.code:   collect_filters(T, [H | Acc]);
  collect_filters([], Acc) ->
    {Acc, []}.
  
  build_inline(Ann, Clauses, Expr, Into, Uniq, S) ->
    case not Uniq and lists:all(fun(Clause) -> element(1, Clause) == bin end, Clauses) of
  