Error: Problem not found in database: check-if-a-word-occurs-as-a-prefix