patmos: moving back failing predicate test