Implement instruction sinking out of loops. This still can do a little bit