verification of not-in-lab rules
rm aterm file