Added check for patterns that are expanded to an empty assertion