Title: STAR (simple tool for automated reasoning)