Module wellformed

Functions

check_grounded_variables

check_image_predicates

infer image predicates, i.e. those that transitively depend on image/1 check that image predicates depend on image/1 in each disjunct