Example to reproduce bug with reused argument simplifications