fixed epsilon rules