my current yosys build is neither of those versions, so at this moment I can neither confirm or deny a test case for you, unfortunately...but maybe someone else with a stable build around here