LanQ, quantum programming language, RetOk syntactic predicate