Finding Effective Systems In schmoop