Fix Ctr patterns not being renamed in imports #1223

	name: Checks

	on:
	pull_request:
	merge_group:
	push:
	branches:
	- main

	jobs:
	check:
	runs-on: ubuntu-latest
	timeout-minutes: 10
	steps:
	- uses: actions/checkout@v3
	- uses: dtolnay/rust-toolchain@stable
	- uses: actions/cache@v2
	with:
	path: \|
	~/.cargo/registry
	~/.cargo/git
	target
	key: ${{ runner.os }}-check-${{ hashFiles('**/Cargo.lock') }}
	- run: RUSTFLAGS="-D warnings" cargo check --all-targets
	test:
	runs-on: ubuntu-latest
	timeout-minutes: 10
	steps:
	- uses: actions/checkout@v3
	- uses: dtolnay/rust-toolchain@stable
	- uses: actions/cache@v2
	with:
	path: \|
	~/.cargo/registry
	~/.cargo/git
	target
	key: ${{ runner.os }}-test-${{ hashFiles('**/Cargo.lock') }}
	- run: cargo install hvm
	- run: cargo test -- --test-threads=1
	clippy:
	runs-on: ubuntu-latest
	timeout-minutes: 10
	steps:
	- uses: actions/checkout@v3
	- uses: dtolnay/rust-toolchain@stable
	with:
	components: clippy
	- uses: actions/cache@v2
	with:
	path: \|
	~/.cargo/registry
	~/.cargo/git
	target
	key: ${{ runner.os }}-clippy-${{ hashFiles('**/Cargo.lock') }}
	- run: RUSTFLAGS="-D warnings" cargo clippy
	fmt:
	runs-on: ubuntu-latest
	timeout-minutes: 10
	steps:
	- uses: actions/checkout@v3
	- uses: dtolnay/rust-toolchain@stable
	with:
	components: rustfmt
	- run: cargo fmt --check
	cspell:
	runs-on: ubuntu-latest
	timeout-minutes: 10
	steps:
	- uses: actions/checkout@v3
	- uses: streetsidesoftware/cspell-action@v5
	with:
	incremental_files_only: false
	config: ./cspell.json
	files: \|
	*/.rs
	*/.md

Provide feedback