Replaced muOne -> muAll in the default translation of function formal
parameter patterns.
Added stack of functions being under translation to check whether the
current translation uses the default translation of formal parameter
patterns (i.e., not literals or (un)typed variables); this ensures that
the translation of a top-level 'fail' will still result in backtracking
in case of backtrackable formal parameter patterns.