Create WhyLLVM