code: private Status executeAssert(Stmt.Assert stmt, CallStack frame, EnclosingScope scope) {
  		//
  		checkInvariants(frame,stmt.getCondition());
  		return Status.NEXT;
  	}
docs: Execute an assert or assume statement. In both cases, if the condition
  evaluates to false an exception is thrown.
  
  @param stmt
  --- Assert statement.
  @param frame
  --- The current stack frame
  @return