instructions) This bug can not be reproduced in the current version, adding the test case to the test suite for coverage, no code change.