public void METHOD_1 ( TYPE_1 VAR_1 ) { assert ( VAR_1 == ( VAR_2 ) ) || ( VAR_1 == ( VAR_3 ) ) ; assert METHOD_2 ( VAR_1 ) ; assert ! ( METHOD_2 ( METHOD_3 ( VAR_1 ) ) ) ; METHOD_4 ( 0 ) ; METHOD_5 ( VAR_4 . NULL ) ; METHOD_6 ( 0 ) ; METHOD_7 ( ) . METHOD_8 ( ) ; }

public void METHOD_1 ( TYPE_1 VAR_1 ) { assert ( VAR_1 == ( VAR_2 ) ) || ( VAR_1 == ( VAR_3 ) ) ; assert ! ( METHOD_2 ( METHOD_3 ( VAR_1 ) ) ) ; METHOD_4 ( 0 ) ; METHOD_5 ( VAR_4 . NULL ) ; METHOD_6 ( 0 ) ; METHOD_7 ( ) . METHOD_8 ( ) ; }
