change the sireum-bakar-test for jago