Add tests for the DEFERRABLE and INITIALLY DEFERRED.