modified function names and allowed algorithm to compute generic implications again