Locate crashing printers, fix.

[joshuaguerin]

Initial solution for W-G-C problem printer had crashing upon unsat. Need to locate any similarly misbehaving scripts and fix for user friendliness.