Resource _eResource_1 = tpb.eResource();
EList<Resource.Diagnostic> _errors_1 = _eResource_1.getErrors();
boolean _isEmpty_1 = _errors_1.isEmpty();
Assert.assertTrue(_isEmpty_1);
TargetPlatformValidator _validator_1 = tester.validator();
_validator_1.checkImportCycle(tpb);
AssertableDiagnostics _diagnose_1 = tester.diagnose();
Iterable<Diagnostic> _allDiagnostics_1 = _diagnose_1.getAllDiagnostics();
Iterable<AbstractValidationDiagnostic> _filter_1 = Iterables.<AbstractValidationDiagnostic>filter(_allDiagnostics_1, AbstractValidationDiagnostic.class);
final List<AbstractValidationDiagnostic> diagnoticsb = IterableExtensions.<AbstractValidationDiagnostic>toList(_filter_1);
int _size_1 = diagnoticsb.size();