Commit CadalRecDemo

Add CadalRecDemo and commit CadalRec.