pub fn evaluate_program_nonasync<'a, I: IntoIterator<Item = StorageRef<'a>>>(
    program: &CompiledProgram,
    storages: I
) -> EvalOutput