Fix nasty infelicity: do not short-cut empty substitution in the simplifier