FacForm should accept , EqualComAss will not.
Of course you could use something like
is (safe_op(ans1)="*")to determine if
ans1is a product and
length(args(ans1))to count the factors. But you would have to deal with many different cases if you want to implement this in your feedback variables ( is a product with 3 factors, too.).
Depending on what you want, it's probably easier and more robust to use EqualComAss to first check on and if false also on .