correctionRules function

Rules for deterministic correction