Basic checking of polymorphic assertions