ci testing using Z3
always write ciindex
fix citest
more fixes
reject empty lines