Add type checking on expr2dimacscnf