Add implicit let-in rule