Description: The reduct of a pre-statement is a statement. (Contributed by Mario Carneiro, 18-Jul-2016)