add constantializing phase
move contantializing phase after canonicalizer