implemented Analysis to fulfil several tests regarding declarations and assignments