Solving Semantic Bugs