http://blog.digitalchangemanagement.de/swift_boogie-bot-does-not-work-in-xcode-9_no_such_module_use_of_unresolved_identifier/