Updates to WhyIBL