public TYPE_1 counter ( java.lang.String name ) { TYPE_1 c = VAR_1 . counter ( name ) ; return METHOD_1 ( name , c ) ; } 

public TYPE_1 counter ( java.lang.String name ) { return METHOD_1 ( name , VAR_1 . counter ( name ) ) ; } 
