added test for RexOps/Rex#407