Fixing issue #675. Incorrect triggering of no-else-return rule.