Recover reduction relation names for heap langs.
Known pred rule.
Fix bug in delta.