Set<aterm.ATermAppl>
getExplanation(RulesToATermTranslator translator)
Copyright © 2019. All rights reserved.