Add precondition to check if user actor has_role