Simplify predicate for eruby checker