Adding unit tests some of the Analysers

ConcatenationAllocation, EnumeratorAllocation & ExplicitAllocation all
have unit tests, covering all the scenarios in the Analysers
Covering more scenarios and some bug fixes