isApplicable(Update update, Term target) determines whether this rule is applicable for the pair of
update and target (the term on which the update will be
applied) term.
determines whether this rule is applicable for the pair of
update and target (the term on which the update will be
applied) term.
Parameters: update - the Update to be applied on target Parameters: target - the Term on which the update is applied true if the top level operator of target is a localvariable