offset analysis and shape elimination
added missing analyses
working on full unrolling