Remove spurious readline/1 predicate