checks function arity
fixes tests for mint,mreal,bint,breal transition