MethodYield { public boolean generatedByCheck(SECheck check) { return false; } protected  MethodYield(MethodBehavior behavior); protected  MethodYield(ExplodedGraph.Node node, MethodBehavior behavior); abstract Stream<ProgramState> statesAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState,
    Supplier<SymbolicValue> svSupplier); Stream<ProgramState> parametersAfterInvocation(List<SymbolicValue> invocationArguments, List<Type> invocationTypes, ProgramState programState); boolean generatedByCheck(SECheck check); MethodBehavior methodBehavior(); @Override abstract String toString(); @Override int hashCode(); @Override boolean equals(Object obj); Set<Flow> flow(List<Integer> parameterIndices, List<Class<? extends Constraint>> domains, int maxReturnedFlows);  }
@Test void yields_are_not_generated_by_check() { MethodYield yield = newMethodYield(mockMethodBehavior(1, false)); assertThat(yield.generatedByCheck(null)).isFalse(); assertThat(yield.generatedByCheck(new SECheck() { })).isFalse(); }