The name derives from `` Huayang '' , an alternate name for Sichuan province . The name derives from `` Huayang '' , an alternate name for Sichuan ( the province where it was discovered ) , and `` saurus '' , meaning `` lizard '' .