Finished implementing presence condition simplification for calculating the corresponding interaction degree.