- BugFix: we need an extra compute_Return(), else compute_default()