Adding implementation of rules without `ε`