Typestate transition lost when state-changing call is stored in a boolean variable before the if #241

    float readAverage(Connection conn) throws SQLException {
        Statement parentstmt = conn.createStatement();
        ResultSet parentMessage =
                parentstmt.executeQuery("SELECT SUM(IMPORTANCE) AS IMPAVG FROM MAIL");
        float avgsum = 0.0f;
        boolean b = parentMessage.next();
        if (b){
            avgsum = parentMessage.getFloat("IMPAVG");
        }
        return avgsum;
    }

        float avgsum = 0.0f;
        if (parentMessage.next()){
            avgsum = parentMessage.getFloat("IMPAVG");
        }

@StateSet({ "onRow", "endRows"})
@ExternalRefinementsFor("java.sql.ResultSet")
public interface ResultSetRefinements {

    @StateRefinement(to = "_ ? onRow(this) : endRows(this)")
    boolean next();


    @StateRefinement(from = "onRow(this)")
    float getFloat(String columnIndex);
}