When the original entry into the Hocus Pocus franchise premiered in theaters in 1993, it proved somewhat of a dismal box-office failure.  The film’s release competition…