anchor.diff:  	| goToStmt
   	| ifThenElseStmt
   	| implementsStmt
  -	| implicitCallStmt_NoValue_Block
  -	| implicitCallStmt_Value_Block
  +	| implicitCallStmt_InBlock
   	| inputStmt
   	| killStmt
   	| letStmt
  
positive.code: goToStmt : GOTO WS valueStmt;
  
  ifThenElseStmt : 
  	IF WS ifConditionStmt WS THEN WS inlineStmt (WS ELSE WS inlineStmt)? # inlineIfThenElse
  	| ifBlockStmt ifElseIfBlockStmt* ifElseBlockStmt? END_IF # blockIfThenElse
  ;
  
  
negative.code: 	| eraseStmt
  	| errorStmt
  	| exitStmt
  	| explicitCallStmt
  	| filecopyStmt
  	| forEachStmt
  	| forNextStmt
  