Put the preconditions for matrix products into the template constraints for the static matrices.