Bug-fix: Corrected name of feature function POINTING.
Added: Predicate to check whether constraint is fulfilled.