Tool.SrSourceChecking that a rule preserves typing (subject reduction property).
check_rule r checks whether the pre-rule r is well-typed in signature state ss and then construct the corresponding rule. Note that Fatal is raised in case of error.