Buit-in rule interface.
As applications of this rule kind may
not be successful in each case one has to ensure that the goal split is
done only iff the application was successful.
returns true iff a rule is applicable at the given
position. This does not necessarily mean that a rule application
will change the goal (this decision is made due to performance
reasons)