fix(reasoner): bugfix of transform ListOpExpr #546

	# This workflow will build a Java project with Maven, and cache/restore any dependencies to improve the workflow execution time
	# For more information see: https://docs.github.com/en/actions/automating-builds-and-tests/building-and-testing-java-with-maven

	# This workflow uses actions that are not certified by GitHub.
	# They are provided by a third-party and are governed by
	# separate terms of service, privacy policy, and support
	# documentation.

	name: CI

	on:
	pull_request:

	jobs:
	build:
	runs-on: ubuntu-latest
	steps:
	- uses: actions/checkout@v3
	- name: Set up JDK 1.8
	uses: actions/setup-java@v3
	with:
	java-version: 8
	distribution: 'temurin'
	cache: maven
	- name: Set up Python 3.8
	uses: actions/setup-python@v4
	with:
	python-version: '3.8'
	cache: 'pip' # caching pip dependencies
	- run: pip install black==22.3.0
	- name: Build with Maven
	run: mvn -B install --file pom.xml
	- name: Upload coverage reports to Codecov
	uses: codecov/codecov-action@v3
	env:
	CODECOV_TOKEN: ${{ secrets.CODECOV_TOKEN }}

Provide feedback