replace functions that are transformed in another way than splitting
substitution
wip on inferring loop results/trip counts