RewriteRuleNotTargetRelation.agda:8,1-18 R does not target rewrite relation when checking the pragma REWRITE R