Implementation of OMNI-Prop [Yamaguchi+, AAAI15].