void variableNotFinal(Variable var,Expression bexp);

void variableNotFinal ( Variable var , Expression bexp ) ;
callback called whenever an assignment transforms an effectively final variable into a non final variable ( aka , breaks the " final " modifier contract )
