semicolon-inference