fix in Spec for NULL check
enable informal as a clause
Signature
Signature