Add Praspel tests.