[Python-ideas] Syntactic Sugar: Post-Conditions for Guard Clauses