simplifier error checking