Fixed bug in quantifiers, but needs to be cleaned
Fixed bug in joinWithParent