infer_subc
tests
