- BugFix: constants must be evaluated BEFORE congruence checks