So the behavior that was observed in your box is as per expectation (Inter-area prefixes got summarized after
area-range is configured under area area-number stanza.
area-range under nssa stanza is meant for only filtering Type 7 (external routes) for summarization
I dont have box now with me to cite illustration on the same.