Adding verification with FD scheme for term df_dU