A tool to help programs determine exit requirements and policies