Added tests R12-S10. Added missing @XFAIL.