Updated tests for Def4 Lp3