RF-13192: reproducer added