RF-13290: non-Warp push tests: added missing imports