bb#9095 - pointers in non-inlined function parameters have runtime checks generated correctly
corrected a issue that could result in domination issues
cleaned up old commented code segments for better readability
WIP: rebuilding struct pointers in non-inlined function parameters