pretty print fix
Error Print for UnifyError
fix preprocessor