private static interface FinishSymbolicExecutionWithSpecJoinsMacro.Predicate<T>
boolean
holdsFor(T arg)
boolean holdsFor(T arg)