Added MinMax multiplication
Added nondeterminisim limit