Added an update method in Instances and fixed if disjuction check in
program grounder