A couple of tests for inference.FirstOf.