Must preorder in non-deterministic untyped lambda-calculus