Added dynamic 'called' predicate which is currently not used