Coding Assignment 4: Precondition Inference