FindFixVerify Proof of Concept in Editor