Fix for bug 519; don't involve ITESimplifier in model generation.