Added Def4 smoke tests