public void METHOD_1 ( ) throws java.lang.Exception { <BUG> assertEquals ( 0 , ( INT_1 - 1 ) ) ;</BUG> }
public void METHOD_1 ( ) throws java.lang.Exception { assertEquals ( 0 , ( INT_1 - INT_1 ) ) ; } 
