On the First-Order Complexity of Induced Subgraph Isomorphism (Logical Methods in Computer Science, 2019)