Move let outside of predicate fMove let outside of predicate fnn