Finally tracked down bug to ForAll calling AndType rather than AndLimitType