Replaced well_formed_component definition for a simpler one