Enabling efficient and effective compliance checking of Advice Files