I think this will never be true here. If workspace is true then above it will either return or raise, but it will never get here.