fixed bug in fault localization ... there is still a bug in the hasse
diagram