An implicit class constraint block with no external definition is useless and should be removed.
class Fly; constraint c; endclass