public java.lang.String METHOD_1 ( java.lang.String VAR_1 ) { <BUG> assert ( ! ( ( VAR_2 ) -- ) ) > STRING_1 ;</BUG> }
public java.lang.String METHOD_1 ( java.lang.String VAR_1 ) { return STRING_1 ; } 
