include: Add Programming by Contract header.

Signed-off-by: Luis Pabón <lpabon@redhat.com>
2 files changed