remove Mux Value.cast before passing to 1st argument __Mux__