IntermediateTest

IntermediateTest[input] creates an intermediate test to determine whether input evaluates to True.

IntermediateTest[input,expected] creates an intermediate test to determine whether input evaluates to expected.

IntermediateTest[input,expected,messages] creates an intermediate test that is expected to generate the list of message names messages.

Please visit the official Wolfram Language Reference for more details and examples on core symbols.