added post module for simplify loops for the simulation/optimization

- split and collect residual expression and make more simplification in
  relation to unknown variables

Author: vruge