kif tests for rescal client