Removed asserting when limits cannot be resolved by dependence.

We still have different ways to resolve them. Fixed most of the tests, few harder ones to fix were left. Currently known bugs are: argument attributes are not moved handled correclty when signatures are changed (e.g. zeroext and signext), some builtin declaration and implementation has different name, struct fields get zeroed for some reason, event_t type is declared as pointer in clang opencl compiler and it causes problems.