Ultimate Playground Fails Compilation