Interface CausalPrecedenceAbstraction<E>