Added tests for mul, mul still wrong