Added instance model checking for unahndled error propagations.