Adding initial spec for ACCRE's IBP implementation