patmos: move failing predicate test