Why VeriFast Failed: Competition | Startup Autopsy