more SmartLocalDefs-tests