security_typing_ref_preservation_al

In [preservation], the term before reduction must be closed