void (final Set<CConstraint> ctrlSTCs, final Set<BConstraint> probCstrs) { ArrayList<Event> a = new ArrayList<Event>(Stream .concat(ctrlSTCs.stream(), probCstrs.stream()) .flatMap(Constraint::evStream) .collect(Collectors.toSet())); }