public void METHOD_1 ( ) { VAR_1 . METHOD_2 ( VAR_2 , VAR_3 ) ; TYPE_1 VAR_4 = METHOD_3 ( ( ( VAR_2 ) + 1 ) , VAR_5 , VAR_6 ) ; VAR_1 . METHOD_2 ( ( ( VAR_2 ) + 1 ) , VAR_4 ) ; assertTrue ( ( ( TYPE_2 . METHOD_4 ( VAR_5 ) . contains ( VAR_2 ) ) && ( TYPE_2 . METHOD_4 ( VAR_5 ) . contains ( ( ( VAR_2 ) + 1 ) ) ) ) ) ; }

public void METHOD_1 ( ) { VAR_1 . METHOD_2 ( VAR_2 , VAR_3 ) ; TYPE_1 VAR_4 = METHOD_3 ( ( ( VAR_2 ) + 1 ) , VAR_5 , VAR_6 ) ; VAR_1 . METHOD_2 ( ( ( VAR_2 ) + 1 ) , VAR_4 ) ; assertTrue ( ( ( VAR_1 . METHOD_4 ( VAR_5 ) . contains ( VAR_2 ) ) && ( VAR_1 . METHOD_4 ( VAR_5 ) . contains ( ( ( VAR_2 ) + 1 ) ) ) ) ) ; }
