mathlib3

feat(sanity_check): improve sanity_check

#1369

Merged