Reduce code duplication in InferredStatementContext