Code coverage: orientation tracking

Orientation tracking as recently contributed to the main under FIX_I109_ORIENTATION_TRACKING is not tested by automatic tests. Test-cases should be added.

Please consult also MR !505 (merged) which tries to improve formal aspects under FIX_I109_ORIENTATION_TRACKING.