Filled out modulus remainder analysis

Necessary for alignment analysis for interleaving stores