simplify constraints
make appendProd binary