pub fn init_vm(stmt: &Stmt<'_>, n_trials: usize) -> Result<Vm, PQLError>
ranges at least consists of one player and the board