support multidef

zokrates_core/src/static_analysis/reducer/mod.rs

@@ -299,8 +299,7 @@ impl<'ast, 'a, T: Field> ResultFolder<'ast, T> for Reducer<'ast, 'a, T> {
                     .map(|a| self.fold_expression(a))
                     .collect::<Result<_, _>>()?;
 
-                unimplemented!("multi def needs to be put in blocks");
-
+                // multidef inlined calls do not need to be put into a block, because they are always executed
                 match inline_call(
                     key,
                     generics,

zokrates_core/src/zir/uint.rs

@@ -1,6 +1,6 @@
 use crate::zir::identifier::Identifier;
 use crate::zir::types::UBitwidth;
-use crate::zir::{BooleanExpression, ZirStatement};
+use crate::zir::BooleanExpression;
 use zokrates_field::Field;
 
 impl<'ast, T: Field> UExpression<'ast, T> {