Removed easily cured rule of sys dependant types