Predicates for reserve_space()

Completed initial specification.