This patch updates Polly to use the assumptions we add for trip count
to simplify the conditions generated in the runtime check added for the
Scop. We accomplish htis by intersecting the Trip Count assumptions
with the InvalidContext (used for alias checks) then gist these assumptions
that are already inclded in the AssumedContext.
This patch saves about 54Kb in Android build.