private void METHOD_1 ( TYPE_1 VAR_1 ) { assert VAR_1 != null ; assert ( VAR_2 ) == ( TYPE_2 . METHOD_2 ( VAR_1 ) ) ; assert ( VAR_3 ) == ( TYPE_2 . METHOD_3 ( VAR_1 ) ) ; assert VAR_1 . METHOD_4 ( ) . equals ( VAR_4 ) ; }

private void METHOD_1 ( TYPE_1 VAR_1 ) { assert VAR_1 != null ; assert ( VAR_2 ) == ( TYPE_2 . METHOD_2 ( VAR_1 ) ) ; assert VAR_3 . equals ( TYPE_2 . METHOD_3 ( VAR_1 ) ) ; assert VAR_1 . METHOD_4 ( ) . equals ( VAR_4 ) ; }
