Symbol: decl_ToFormal