Add EncodedAdt.allocates

Add EncodedAdt.allocates to check whether an allocator allocates enough
space for a potential solution.