Adding a test file.

2 jobs for !368 with fixpoint-tele_arg in 1 minute and 42 seconds (queued for 7 seconds)
merge request