anchor.diff:          jxa_annot:get(jxa_path:add_path(jxa_path:incr(Path0)),
                         jxa_ctx:annots(Ctx2)),
       {Ctx3, CerlGuard} =
  -        jxa_expression:comp(jxa_path:add(jxa_path:incr(Path0)),
  +        jxa_expression:comp(
  +          jxa_path:add(jxa_path:incr(jxa_path:add(jxa_path:incr(Path0)))),
                               Ctx2, Guards),
       CompleteGuards = mk_guards(GuardLine,
                                  [CerlGuard | PatternGuards]),
  
positive.code:     {_, {Arg1Line, _}} = jxa_annot:get(jxa_path:path(jxa_path:incr(Path0)),
                                         jxa_ctx:annots(Ctx0)),
      {{Ctx1, Guards}, CerlPattern} =
          comp_pattern(jxa_path:incr(2, Path0),
                       Acc0, Arg2),
      CerlArg1 =
          cerl:ann_c_alias([Line], cerl:ann_c_var([Arg1Line], Arg1),
                           CerlPattern),
      {{jxa_ctx:add_variable_to_scope(Arg1, Ctx1), Guards}, CerlArg1};
  comp_pattern(Path0, Acc0={Ctx0, _}, [quote, Args]) ->
      Literal = jxa_literal:comp(jxa_path:incr(Path0), Ctx0, Args),
      {Acc0, Literal};
  comp_pattern(Path0, Acc0, Expr=[binary | _]) ->
      jxa_binary:comp_pattern(Path0, Acc0, Expr);
  
negative.code: 
  
  
  compile_clause_body(Path0, Ctx0, [Pattern, ['when', Guards], Body]) ->
      Ctx1 = jxa_ctx:push_scope(Ctx0),
      {_, {Line, _}} = jxa_annot:get(jxa_path:path(Path0),
                                     jxa_ctx:annots(Ctx1)),
  