disabling existential head option at GroundLog expressivity (no variables)

Signed-off-by: greenTara <taraathan@gmail.com>
integrating existential and disjunctive rules

Signed-off-by: greenTara <taraathan@gmail.com>