Incorporated strategy map
Fixed: annotations for ConstructorName dynamic rule.
FIXED: Annotations for CheckConsN dynamic rule
FIXED: Annotations for RenameVar dynamic rule
FIXED: Annotations for HoArg dynamic rule