Fix bug in --fmf-fmc for producing models of functions not appearing in quantified formulas.