Simplify checkExp with unless.