add simple ktest for cil