My-map missing
Fixed a bug in pred-add