platin: support for flow facts from LLVMs scalar evolution