infer pessimistically acyclic