Adds symbol multiplication tests