Is it ok to change from 

founded_type /= Void 

to

attached founded_type

from a none void safe system perspective?