Listing 1
void method (int a) {
        int b;
        int value_returned =  calculate (a, b);
         String user_name = getUserName( );
        boolean valid_stack_trace  =  isValidStackTrace(newThrowable().getStackTrace());
         assertTrue("Warning!, Unexpected sequence of operations" , valid_strack_trace);
       // critical call, will not execute if assertion fails.
        updateDataBase(user_name, value_returned);

}