Added LP3 tests for Def4