Argument type check added to SanityCheck