anchor.diff:             {{t,11},2},
              {{t,12},4},
              {{t,13},1}] =
  -        analyse_expr(<<"<< \n" % 1
  -                       " << (2)\n" % 4
  +        analyse_expr(<<"<< \n" % 1 (now: 0)
  +                       " << (2)\n" % 4 (now: 0)
                          "     :(8) >> || \n"
                          "    <<X>> <= << 1,\n" % 1
                          "                (case two() of \n"
  
positive.code: %%
  %% %CopyrightBegin%
  %% 
  %% Copyright Ericsson AB 2001-2015. All Rights Reserved.
  %% 
  %% Licensed under the Apache License, Version 2.0 (the "License");
  %% you may not use this file except in compliance with the License.
  
negative.code:                        "    true]. \n" % 2
                         "  two() -> 2">>, Cf), % 1
  
      %% The template cannot have a counter since it is not allowed to
      %% be a block.
      ?line [% {{t,1},1},
             %% {{t,2},2},
             {{t,3},1},
             {{t,4},1},
             {{t,5},0},
  