can not read 'log/readvar.btor'