public java.lang.Void execute ( TYPE_1 < java.lang.Void > VAR_1 ) throws java.lang.Throwable { assertTrue ( VAR_1 . METHOD_1 ( ) ) ; VAR_2 . set ( true ) ; return null ; } 

public java.lang.Void execute ( TYPE_1 < java.lang.Void > VAR_1 ) throws java.lang.Throwable { assertTrue ( VAR_1 . METHOD_1 ( ) ) ; VAR_2 . set ( true ) ; VAR_1 . get ( ) ; return null ; } 
